Какие выводы вы сделали бы из следующих фактов?" - спросил инспектор Крэг у сержанта Макферсона:
1) Если A виновен и B невиновен, то C виновен.
2) C никогда не действует в одиночку.
3) A никогда не ходит на дело вместе с C.
4) Никто, кроме A, B и C, в преступлении не замешан, и по крайней мере один из этой тройки виновен.
Сержант поскреб в затылке и сказал:
- Боюсь, что я смогу извлечь из этих фактов не слишком много, сэр. А вы можете, опираясь на них, доказать, кто из трех подозреваемых виновен и кто не виновен?
- Не могу, - признался Крэг, - но чтобы выдвинуть неопровержимое обвинение против одного из них, материала вполне достаточно. Чья виновность не вызывает сомнений?
Ответ: Не вызывает ни малейших сомнений виновность B. Доказать это можно при помощи любого из следующих рассуждений.Рассуждение первое. Предположим, что B не виновен. Тогда если бы A был виновен, то C также был бы виновен в силу высказывания (1). Это означало бы, что вопреки высказыванию (3) A совершил преступление вместе с C. Следовательно, A должен быть не виновен. Но тогда вопреки высказыванию (2) C единственный, кто виновен. Значит, B виновен.Рассуждение второе. Оно прямее приводит к ответу на вопрос задачи.а) Предположим, что A виновен. Тогда в силу высказывания (3) B и C не могут быть оба не виновны, поэтому у A должен быть соучастник. Так как C в силу высказывания (3) не мог быть соучастником A, то им должен быть B. Следовательно, если A виновен, то B также виновен.б) Предположим, что C виновен. Тогда в силу высказывания (2) у него должен быть соучастник, которым в силу высказывания (3) не мог быть A. Следовательно, им должен быть B.в) Если ни A, ни C не виновны, то B несомненно виновен!