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