является нестрогим дизъюнктивным или нестрогой дизъюнкцией (разделением) двух простых суждений:
1. Он изучает английский.,
2. Он изучает немецкий.
Как видим, эти суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно, в силу чего данная дизъюнкция является нестрогой.
Строгая дизъюнкция – это сложное суждение с разделительным союзом «или» в его исключающем (строгом) значении, который обозначается условным знаком ⊻. С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы а ⊻ в (читается «или а, или в»), где а и в – это два каких-либо простых суждения. Например, сложное суждение: Он учится в 9 классе, или он учится в 11 классе является строгим дизъюнктивным или строгой дизъюнкцией (разделением) двух простых суждений:
1. Он учится в 9 классе.,
2. Он учится в 11 классе.
Обратим внимание на то, что эти суждения друг друга исключают, ведь невозможно одновременно учиться и в 9 и в 11 классе (если он учится в 9 классе, то обязательно не учится в 11 классе и наоборот), в силу чего данная дизъюнкция является строгой. Как нестрогая, так и строгая дизъюнкция могут состоять не только из двух, но из большего числа простых суждений. Например: Он изучает английский или он изучает немецкий, или он изучает французский (а ⋁ в ⋁ с) или Он учится в 9 классе или он учится в 10 классе, или он учится в 11 классе (а ⊻ в ⊻ с).
Импликативное суждение или импликация – это сложное суждение с условным союзом «если… то», который обозначается условным знаком g. С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы а → в (читается «если а, то в»), где а и в – это два каких-либо простых суждения. Например, сложное суждение: Если вещество является металлом, то оно электропроводно представляет собой импликативное суждение или импликацию (причинно-следственную связь) двух простых суждений:
1. Вещество является металлом.,
2. Вещество электропроводно.
Как видим, в данном случае эти два суждения связаны таким образом, что из первого вытекает второе (если вещество – металл, то оно обязательно электропроводно), однако из второго не вытекает первое (если вещество электропроводно, то это вовсе не означает, что оно является металлом). Первая часть импликации называется основанием, а вторая – следствием: из основания вытекает следствие, но из следствия не вытекает основание. Формулу импликации «а → в» можно прочитать так: «если а, то обязательно в, но если в, то не обязательно а».