logo
Getmanova_A_D_-_Logika

3Смаллиан р. Как же называется эта книга? // Пер. С англ. М., 1981. С. 74,123.

240

По обвинению в ограблении перед судом предстали А, В и С.

Установлено следующее:

(1) Если A не виновен или B виновен, то С виновен.

(2) Если А не виновен, то С не виновен. Можно ли на основании этих данных установить виновность каждого из трех подсудимых?

Решение. Можно, причем очень просто. В силу высказы­вания (1) виновен, то С виновен (поскольку если A не виновен, то дизъюнкция: “Либо А не виновен, либо В вино­вен” - истина) В силу высказывания (2) если А не виновен то С не виновен. Следовательно, если А не виновен, то С одновременно виновен и не виновен, что невозможно. Зна­чит, А должен быть виновен.