Дизъюнктивные суждения

Имеется два вида дизъюнктивных суждений: строгая (исключающая) дизъюнкция и нестрогая (неисключающая) дизъюнкция.

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

р q pvq и и Л и л И л и И л л Л Нестрогая (неисключающая) дизъюнкция - сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинным является, по крайней мере, одно (но может быть и больше) из простых суждений, входящих в сложное. Например, «Писатели могут быть или поэтами, или прозаиками (или тем и другим одновременно)». Нестрогая дизъюнкция выражается посредством грамматического союза «или...или» в разделительно-соединительном значении. Символически записывается р v q. Нестрогой дизъюнкции соответствует таблица истинности: р q pvq и и И и л И л и И л л Л .