Cтраница 4
Логика предикатов представляет собой расширение логики высказываний, которое позволяет, в частности, учитывать структуру атомарных формул. [46]
Пусть, далее, з & - такое истинностное означивание эрбра-новской развертки, что Ж верифицирует атомарную формулу А тогда и только тогда, когда А - конъюнкт в v ( t) [ y / t ], где i ( 0 - формула, которая заменяет дизъюнктивный член в функциональной форме F. Мы утверждаем, что s & верифицирует каждый пример функциональной формы F, в частности я. Но это невозможно, так как А может появиться одновременно в n ( t) [ y / t ] и i ( s) [ y / s ] только при условиях, при которых ( а), ( Ь), ( с) и определение [ ы гарантируют, что эти вхождения козначны. [47]
Будем говорить, что формула Ф есть элементарная дизъюнкция, если каждый дизъюнк-тивный член Ф есть либо атомарная формула, либо отри цание атомарной формулы. Будем говорить, что форму - ла Ф находится в конъюнктивной нормальной форме ( к. [48]