Чтобы проверить правильность рассуждения в логике предикатов, можно использовать следующие методы:

1. Построение истинностной таблицы. 12 Нужно убедиться, что рассуждение тождественно истинно. 12
2. Метод «от противного». 12 Заключается в предположении, что заключение ложно, и установлении того факта, что при этом конъюнкция посылок ложна (что имеет место, если хотя бы одна из посылок принимает значение «ложно»). 1 Если это выполняется, то рассуждение верно, в противном случае — нет. 1
3. Преобразование формулы. 1 Нужно преобразовать формулу к равносильной ей формуле, которая задаёт заведомо тождественно истинное высказывание. 1