Предикаттарформуласы.
2-8Егер А немесе В –формула. Н-мүше:
Онда ù(А),(А)Ù(В),(А)Ú(В),(А)Þ (В),
(А)Û(В),»и (А), $и(А)-формула
АÛВº(ùА ÚВ)Ù(ùВÚА)
АÛВº АÛВº(ùА ÚВ)Ù(ùВÚА)
260ù»uА(u)º$uùА(u)ù
270ù$uA(u) º»uùА(u)ù
280«uA(u) ºù$uА(u)ù
290$xA(u) ºù»uùА(u)
Теорема 12. Барлық предикаттар үшін пара-пар формулалар келтірілген формада болады.