Если две формулы a(альфа) и b(бета), отнесенные к некоторой области _O_, при всех заменах переменных предикатов, переменных высказываний и свободных предметных переменных соответственно индивидуальными предикатами, определенными на _O_, индивидуальными высказываниями и индивидуальными предметами из _O_ принимают одинаковые значения 1 или 0, то мы будем говорить, что эти ФОРМУЛЫ РАВНОСИЛЬНЫ на области _O_. Если две формулы равносильны на любых областях _O_, то мы их будем называть просто равносильными.
Формулы, в которых из операций Алгебры Высказываний имеются только операции &,v и (not ), а знак отрицания относится только к элемнт-ым предикатам и выск-ям, будем называть ПРИВЕДЕННЫМИ ФОРМУЛАМИ.
ТЕОРЕМА: Для каждой формулы существует равносильная ей приведенная формула.
ВСЕ равносильности, имеющие место в АВ переносятся на ЛП. к ним добавляются равносильности, связанные с кванторами.
