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

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

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

Сложные суждения рассматриваются в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений, входящих в состав сложных, а также от характера связи этих суждений. Характер связи определяется смыслом логических союзов, который состоит в ответе на вопрос: при каких условиях сложное суждение будет истинно, а при каких – ложно. Иначе говоря, при каких сочетаниях истинности и ложности простых суждений, входящих в сложное, данный логический союз дает истинную связь, а при каких – ложную.Смысл логических союзовможно определить с помощью так называемой истинностной таблицы,

Таблица 1

Истинностные значения сложных суждений

NN
А	В	А В	А В	А В	А В	А В	~А	~В
1.	и	и	и	и	л	и	и	л	л
2.	и	л	л	и	и	л	л	л	и
3.	л	и	л	и	и	и	л	и	л
4.	л	л	л	л	л	и	и	и	и

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