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