Условие:
Осуществите прямой вывод простых заключений из данных посылок без использования вспомогательных допущений в натуральном исчислении высказываний. Если Петр виновен, то и Павел виновен, а если Павел виновен, то и Андрей виновен. Известно, что Петр виновен в совершении преступления.
