, где из его истинности вытекали определенные истинностные значения других суждений – I, Е, О. Рассмотрим еще один пример. Возьмем суждение вида Е: Все треугольники не являются квадратами и сделаем из его истинности выводы об истинностных значениях суждений А, I, О. Когда данное суждение вида Е истинно (см. правила выше), то суждение вида А: Все треугольники являются квадратами ложно, суждение вида I: Некоторые треугольники являются квадратами также ложно, а суждение вида О: Некоторые треугольники не являются квадратами истинно (если все треугольники не являются квадратами, то и часть треугольников, т. е. некоторые треугольники также не являются ими).
Как мы уже знаем, простые суждения включают в свой состав один субъект и один предикат. Поимо простых суждений существуют также сложные суждения. Каждое сложное суждение состоит из простых суждений, соединенных каким-либо союзом. В зависимости от этого союза выделяется, как правило, шесть видов сложных суждений.
Конъюнктивное суждение или конъюнкция – это сложное суждение с соединительным союзом «и», который обозначается в логике условным знаком ∧. С помощью этого знака конъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы а ∧ в (читается «а и в»), где а и в – это два каких-либо простых суждения. Например, сложное суждение: Сверкнула молния, и загремел гром является конъюнктивным или конъюнкцией (соединением) двух простых суждений:
1. Сверкнула молния.,
2. Загремел гром.
Конъюнкция может состоять не только из двух, но и из большего количества простых суждений. Например: Сверкнула молния, и загремел гром, и пошел дождь (а ∧ в ∧ с).
Дизъюнктивное суждение или дизъюнкция – это сложное суждение с разделительным союзом «или». Вспомним, что, говорив о логических операциях сложения и умножения понятий, мы отмечали неоднозначность этого союза, который может использоваться как в нестрогом (неисключающем) значении, так и в строгом (исключающем). Неудивительно поэтому, что дизъюнктивные суждения делятся на два вида.
Нестрогая дизъюнкция – это сложное суждение с разделительным союзом «или» в его неисключающем (нестрогом) значении, который обозначается условным знаком ⋁. С помощью этого знака нестрогое дизъюнктивное суждение, состоящее из двух простых суждений можно представить в виде формулы а ⋁ в (читается «а или в»), где а и в – это два каких-либо простых суждения. Например, сложное суждение: Он изучает английский, или он изучает немецкий является нестрогим дизъюнктивным или нестрогой дизъюнкцией (разделением) двух простых суждений: