Традиционный набор операций в исчислении высказываний включает
В исчисления предикатов существуют кванторы
Аксиомы исчисления предикатов формируются из
Исчисление предикатов называется разрешимым, если
Правила вывода исчисления предикатов формируются из
Теорема Гёделя о полноте исчисления предикатов утверждает, что
Утверждение об объектах исчисления предикатов, подлежащее доказательству, называется
Утверждение о некоторой теореме исчисления предикатов, подлежащее доказательству, называется
Обязательным требованием метода резолюций является приведение исходной формулы к
