1 задание . Ниже приведены по три клаузы в каждом варианте. Каждую клаузу
необходимо доказать следующими методами: аксиоматическим, методом
дедукции, резолюций.
2 задание. Доказать или опровергнуть справедливость следующих правил вывода,
установив доказуемость соответствующих формул. (аксиоматический, дедукция, резолюция)
3 задание. Установить правильность или неправильность правил вывода, установив
общезначимость соответствующей формулы. (аксиоматический, дедукция, резолюция)
4 задание. Установить правильность или неправильность правил вывода,
установив общезначимость соответствующей формулы. (аксиоматический, дедукция, резолюция)
Павел
ГУУ
Фантастическая скорость, а главное правильность выполненной работы. Категорически рекомендую
Лолита
Сочинский государственный университет
Заказала очередную задачу у Анжелы. Как обычно , сделала всё досрочно и без замечаний. Анж...
Лидия
Тульский филиал Финуниверситета
Все быстро сделала и раньше срока, все ответы развёрные, очень помогла)
Антон
МГУ имени М.В. Ломоносова
Работа сделана идеально, в максимально сжатые сроки. Однозначно рекомендую исполнителя!