Логика - страница 31

∧ b) и они. В конце верхней строки («шапки») помещается итоговая формула, отражающее все рассматривоемое сложное суждение. При этом каждая буква, обозначающая просто суждение, и каждая формула, обозначающая сложное суждение, помещаются в отдельных ячейках. Таким образом определяется число столбцов таблицы. Количество строк таблицы, помимо шапки, определяется по формуле: «2^>n», где n – количество простых суждений, из которых состоит сложное.

Затем ячейки в столбцах, показывающих возможные значения простых суждений, заполняются символами «и» (вариант, когда простое суждение оказывается истинным) и «л» (когда оно ложное) таким образом, чтобы в строках сочетания «и» и «л» с одной стороны, не повторялись, с другой – чтобы отразить все возможные сочетания «истинности» и «ложности» простых суждений в данном сложном.

Их структура обусловлена структурой простых суждений, а также типом логических союзов, которые отражают характер связи между простыми суждениями внутри сложного:

• соединительное (конъюктивное) → один или оба термина состоят из двух или нескольких понятий, соединенных союзом «и» (иногда «ни»).

В естественном языке соединительные суждения могут быть выражены одним из трех способов:

– элементы сложного субъекта, состоящего из конъюктивно связанных субъектов: «S1 ∧ S2 есть Р» (П. Иванов и Е. Строкова – студенты);

– конъюктивно связанные понятия (признаки) в сложном предикате: «S есть P1 ∧ P2» (Судья должен быть компетентным юристом и высоконравственным человеком);

– и элементы сложного субъекта и понятия в сложном предикате: «S1 ∧ S2 есть P1 ∧ P2» (К. К. Рокосовский и А. М. Василевский были великими полководцами и патриотами нашей страны).

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

Таблица истинности коньюнктивного суждения, состоящего из двух простых суждений, выглядит так:

• разделительное (дизъюнктивное) → имеет альтернативный характер, образуется из простых суждений, термины в которых соединяются союзом «или», отличаются неопределенностью, удобно использовать, если нужно избежать конкретности и однозначности вывода.