Cтраница 4
Теорема 3.9. Исчисление предикатов непротиворечиво. [46]
Формула А исчисления предикатов называется истинной при интерпретации I, если 1 ( А) И. [47]
Теорема 2.6. Исчисление предикатов неразрешимо. [48]
Указанное выше исчисление предикатов иногда называют исчислением предикатов пешюго порядка, так как известны исчисления предикатов более высоких порядков. Их мы касаться не будем ввиду того, что при машинном решении различных задач в качестве основного языка обычно используется исчисление предикатов первого порядка. [49]
Каждая формула исчисления предикатов представляет собой некоторую конечную последовательность символов этого исчисления. [50]