21.В. Прыведзеная нармальная форма формулы логікі прэдыкатаў.

Азначэнне. Формула, якая не змяшчае іншых аперацыяў алгебры выказванняў, апроч , &, v і ў якой адмаўленые дастасоўваецца толькі да элементарных формулаў, называецца формулам у прыведзенай форме.

Напрыклад, ( х, А₁¹(х₁))&А₂¹(х₂), х₂ ( A₁¹(x₁) v А₂¹(х₂)) -формулы ў прыведзенай форме, a ( х₁A₁¹(x₁) <=> A₂²(x₂,x₁)) не з'яўляецца формулай у прыведзенай форме.

3 сказанага вышэй вынікае

Сцверджанне 2. Для адвольнай формулы логікі прэдыкатаў існуе раўназначная ёй у прыведзенай форме.

(Гэтая формула называецца прыведзенай формай дадзенай формулы.)