Придумать верное рассуждение с предикатами с не менее, чем с тремя гипотезами. Проверить придуманное рассуждение методом резолюций (оцениваются только оригинальные задачи)
Настоящий профессионал и ответственный человек! Очень обязательный исполнитель, всегда на связи, профессионально подходит к своим заказам. Еще раз, большущее спасибо! Всегда рад нашему сотрудничеству.