Дизъюнкция (строгая).

Этот логический оператор представляет собой то же, что и предыдущий, но относится к несоединимым альтернативам. Строгая дизъюнкция — соединение с помощью того же союза двух и более высказываний, которые не могут быть одновременно истинными. Во избежание путаницы мы будем пользоваться для нее словом «либо». У нас она будет записывается как р X q читается: р либо q. Иногда эта несовместимость видна непосредственно из самих обстоятельств. Например: потерпевший был ранен либо убит, данный автомобиль «Волга» либо «Москвич», студенту поставили «отлично» либо «хорошо». Иногда же это надо специально подчеркивать. «Поеду в отпуск поездом либо самолетом». Вообще-то может оказаться, что ехать придется и тем, и другим транспортом — часть пути на самолете, часть на поезде. Поэтому в подобных высказываниях надо специально оговаривать, о какой альтернативе идет речь. По истинностным значениям строгая дизъюнкция совпадает с нестрогой во всем, за исключением первой строчки. У нее оба простых суждения не бывают одновременно истинными; если же при каких-то обстоятельствах это все же случается, то, значит, отнесение данной альтернативы к разряду строгих дизъюнкций ложно, что и отмечено цифрой 0 в первой строке колонки для строгой дизъюнкции.

В символической логике нестрогая дизъюнкция используется шире, чем строгая. Поэтому в дальнейшем слово «дизъюнкция» будет означать только нестрогую ее разновидность. Когда же речь пойдет о строгой дизъюнкции, мы будем это специально оговаривать.

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ   След >