- Formalizálás

- Ekvivalens formulák igazságtáblával

- Logikai következtetés helyességének eldöntése igazságtáblával
- KNF-re alakítás (a műveletekre igaz azonosságok közül elég azokat felírni konzin, amik itt a KNF-re alakításnál kellenek: 
A -->B = nemA v B
De Morgan-ek
Disztributív: A v (B és C)=(A vB) és (AvC)

- Logikai következtetés helyességének igazolása rezolúció segítségével. (feltételek és a következmény negáltja KNF-re alakítva, klózokból rezolúció)

- Másik helyes következtetési séma megadása (Főleg a rezolúciós feladat után csináljatok mindig ilyen plusz feladatot! )

- Lesz egy feladat a relációkhoz is, ezért jó lenne legalább egy ekvivalencia és egy rendezési relációra példát nézni

Nevezetes dolgok amit tudni kell (levezetés is):
-De Morgan azonosságok
-Resolutió alaplépése
-Disztributív azonosság
-Modus ponens
-Resolutió