2.6. Сложные суждения и их виды. Понятие о логическом союзе
Сложное суждение - суждение, образованное из простых посредством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.
Особенность сложных суждений заключается в том, что их логическое значение (истинность или ложность) определяется не смысловой связью простых суждений, составляющих сложное, но двумя параметрами:
логическим значением простых суждений, входящих в сложное;
характером логической связки, соединяющей простые суждения.
Современная формальная логика отвлекается от содержательной
связи между простыми суждениями и анализирует такие высказывания, в которых эта связь может отсутствовать. Например, «Если квадрат гипотенузы равен сумме квадратов катетов, то на Солнце существуют высшие растения».