3. Teorema de completitudine a calculului propoziţional
4. Procesul de rezoluţie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctivă
4.3. Rezoluţia propoziţională
4.3. Rezoluţia predicativă
5. Concluzii
FNC
Pentru transformarea unui enunţ în forma normal conjunctivă, se urmăreşte eliminarea elementelor de imbricare din enunţ şi separarea cuantificatorilor de restul formulei, pentru a fi în final eliminaţi
De aceea, se recomandă ca fiecare cuantificator să fie legat de propria variabilă
