Două formule ale logicii predicatelor sunt considerate a fi echivalente pe un domeniu dacă aceștia iau aceleași valori logice pentru toate valorile variabilelor incluse în ele, legate de domeniu.
Două formule ale logicii predicatelor sunt considerate a fi echivalente dacă sunt echivalente în fiecare domeniu.
Este evident că toate formulele de echivalență a algebrei propoziționale vor fi adevărate dacă în ele, în locul variabilelor, vom înlocui formulele logicii predicatelor. Dar. în plus, are loc echivalența logicii predicatelor:
Legea lui De Morgan:
Legea dublei negări:
Pentru o afirmație arbitrară (un predicat care nu este asociat cu o variabilă), se aplică următoarele formule de echivalență:
Formulele pentru schimbarea variabilelor (unde și dintr-o zonă de subiect):
Forma normală predicată a predicatului
Formula predicatelor are o formă normală dacă conține numai operații de operații de conjuncție, disjuncție și cuantificare, iar operația de negare se referă la un predicat elementar.
Fie predicatul dat. Aduceți acest predicat în forma normală
Forma normală predicată a unui predicat este o formă predicată normală în care operatorii cuantificatori sunt fie absenți, fie folosiți după operațiile algebrei logice.
Aduceți predicatul din exemplul anterior la forma predicată normală a predicatului