Подсудимых было четверо: A, B, C, D. Установлено следующее: 1) Если A виновен, то B был соучастником. 2) Если B виновен, то либо C был соучастником, либо A не виновен. 3) Если D не виновен, то A виновен и C не виновен. 4) Если D виновен, то A виновен. Кто из подсудимых виновен и кто не виновен?
Из анализа установленных фактов можно вывести следующие заключения:
1) Если D не виновен, то A виновен, а C не виновен 2) Если D виновен, то A виновен.
Из пункта 1 следует, что если D виновен, то C не виновен. Но из пункта 2 мы знаем, что в этом случае A виновен, что противоречит первому заключению. Следовательно, D не является виновным. Из пункта 3 следует, что в этом случае A виновен, а C не виновен.
Таким образом, подсудимый A виновен, подсудимый C не виновен, а подсудимые B и D также не виновны.
Из анализа установленных фактов можно вывести следующие заключения:
1) Если D не виновен, то A виновен, а C не виновен
2) Если D виновен, то A виновен.
Из пункта 1 следует, что если D виновен, то C не виновен. Но из пункта 2 мы знаем, что в этом случае A виновен, что противоречит первому заключению. Следовательно, D не является виновным. Из пункта 3 следует, что в этом случае A виновен, а C не виновен.
Таким образом, подсудимый A виновен, подсудимый C не виновен, а подсудимые B и D также не виновны.