3. Сложные суждения: логическая структура и виды

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

Эти типы связи простых суждений выражаются соответствующими логическими связками: конъюнкцией(«и»),дизъюнкцией(«или»),строгой дизъюнкцией («либо, ...либо»),импликацией(«если..., то»),эквиваленцией (тогда и только тогда, когда...»,отрицанием(«неверно, что...»). Логические связки обозначают символами:~соответственно. Каждый из этих логических союзов, за исключением отрицания, является бинарным, т.е. соединяет только два суждения, независимо от того простые они или сами, в свою очередь, сложные, имеющие внутри себя собственные союзы.

Сложные суждения рассматриваются в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений, входящих в него, а также от характера связи этих суждений. Характер связи определяется смыслом логических союзов, который состоит в ответе на вопрос: при каких условиях сложное суждение будет истинно, а при каких – ложно. Иначе говоря, при каких сочетаниях истинности и ложности простых суждений, входящих в сложное, данный логический союз дает истинную связь, а при каких - ложную. Смысл логических союзов можно определить с помощью, так называемойистинностной таблицы, в которойна входе(см. Табл.1, столбцы 1,2) выписываютсявсе возможные комбинации истинностных значений простых суждений(входящих в рассматриваемое сложное), ана выходе(Таблица 1 – столбцы 3 – 9) –значения сложного суждения, образованного из данных простых с помощью соответствующего логического союза. При этом, исходные простые суждения обозначают буквами:А,В,С,D..., а значения истинности символами: «и» - истино; «л» - ложно.

Таблица 1.