2) Если A виновен, то у него был ровно один сообщник.
3) Если B не виновен, то C также не виновен.
4) Если виновны ровно двое подозреваемых, то A — один из них.
5) Если C не виновен, то B также не виновен.
Против кого инспектор Крэг выдвинул обвинение?
76. Дело четырех.
На этот раз на допрос были вызваны четверо подозреваемых в ограблении: A, B, C и D. Неопровержимыми уликами доказано, что по крайней мере один из них виновен и что никто, кроме A, B, C и D, в ограблении не участвовал. Кроме того, удалось установить следующее:
1) A безусловно не виновен.
2) Если B виновен, то у него был ровно один соучастник.
3) Если C виновен, то у него было ровно два соучастника.
Инспектору Крэгу было особенно важно узнать, виновен или не виновен D, так как D был опасным преступником. К счастью, приведенных выше фактов достаточно, чтобы установить виновность или невиновность подозреваемого D.
Итак, виновен или не виновен D?
Б. Не могли бы вы помочь?
Инспектора Крэга нередко можно видеть в зале суда, где он с неослабным вниманием следит за всеми перипетиями судебного разбирательства. Крэг интересуется не только теми делами, в расследовании которых он принимал участие. Слушание любого дела служит для него своеобразным упражнением по логике: выслушав доводы сторон, инспектор стремится при помощи логических рассуждений установить истину. Вот несколько любопытных казусов, свидетелем которых ему пришлось быть в зале судебных заседаний.
77. Глупый защитник.
Одного человека судили за участие в ограблении. Обвинитель и защитник в ходе судебного заседания заявили следующее:
Обвинитель. Если подсудимый виновен, то у него был сообщник.
Защитник. Не верно!
Ничего хуже защитник сказать не мог. Почему?
78.
По обвинению в ограблении перед судом предстали A, B и C. Установлено следующее:
1) Если A не виновен или B виновен, то C виновен.
2) Если A невиновен, то C не виновен.
Можно ли на основании этих данных установить виновность каждого из трех подсудимых?
79.
По обвинению в ограблении перед судом предстали A, B и C. Установлено следующее:
1) По крайней мере один из трех подсудимых виновен.
2) Если A виновен и B не виновен, то C не виновен.
Этих данных недостаточно, чтобы доказать виновность каждого из трех подсудимых в отдельности, но эти же данные позволяют отобрать двух подсудимых, о которых известно, что один из них заведомо виновен. О каких двух подсудимых идет речь?
80.
Этот случай более интересен, чем предыдущие. Подсудимых четверо: A, B, C, D. Установлено следующее:
