Формализовать рассуждение на языке исчисления предикатов Доказать справедливость рассуждения Построить множество дизъюнктов рассуждения Привести посылки и отридцание к ПНФ и Сколемовской стандартной форме
Рекомендую как квалифицированного исполнителя. Всегда на связи, все уточняющие вопросы задаёт своевременно, полностью оговаривается заказ с пояснениями. Выполнение оперативное! Рад буду сотрудничеству в следующем году! Вы - настоящий профессионал.