Эксклюзия

Эксклюзия есть соединение простых высказываний с помощью исключающего союза “или” (р исключает q; р несовместно с q). В эксклюзии допускается, что ложными могут быть как р, так и q. Связку, отображающую несовместимость двух простых высказываний р и q, обозначают вертикальной чертой между ними, так называемым «штрихом Шеффера».

p q
И И Л
И Л И
Л И И
Л Л И

 

Сложное высказывание “” читается так: “р несовместно с q”, иначе говоря, “р и q исключают друг друга”. Эксклюзия истинна тогда и только тогда, когда по крайней мере одно из высказываний ложно, а то и оба вместе. Смысл эксклюзии может быть выражен так: только одно из двух, но возможно, ни то, ни другое, а то и третье. Обе ситуации одновременно не могут иметь места. Например: “ Он родом из Перми или Кунгура” (хотя может быть и другой населенный пункт); “Первая лекция сегодня будет по физике или математике” (но, возможно, и по другому предмету); “Он уехал то ли в Томск, то ли в Омск”.