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