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

Правильный ли вывод? Если вы будете говорить правду, люди проклянут вас, а если будете лгать, то вас проклянут боги. Но вы можете только говорить правду или лгать. Значит, вас проклянут боги или люди.

Решите и докажите следующую логическую, математическую задачу по множествам. Проверить, что A ⋂ B ⊆ C ⇔ A ⊆ ¬B ⋃ C.

Переведите задачу с естественного языка на язык логики высказываний. Обсуждая приход в класс новичка, школьники высказывали ряд предположений: a. Для того, чтобы новичок был добрым, достаточно, чтобы он был умным и сильным. b. Если новичок силач, то он