Задание 1. Необходимо доказать общезначимость формулы, на парах оформляем такой табличкой. Преподаватель говорит, что есть грубые ошибки, требуется их найти, либо решить по своему. Задание 2: построить вывод в исчислении высказываний.
Благодарю Вас за быстрое решение проблемы! Отличный специалист, очень умный и знающий. Сложную задачу решил в сжатые сроки. Рекомендую данного автора другим заказчикам.