Modus ponens • Modus tolens • Dvouslovni uvod • Dvouslovna eliminacija • Konjunkcioni uvod • Pojednostavljenje • Disjunkcioni uvod • Disjunkciona eliminacija • Disjunkcioni silogizam • Hipotetični silogizam • Konstruktivna dilema • Destruktivna dilema • Apsorpcija
Asocijativnost • Komutativnost • Distributivnost • Dvostruka negacija • De Morganovi zakoni • Transpozicija • Materijalna implikacija • Materijalna ekvivalencija
Univerzalna generalizacija • Univerzalna instancijacija • Egzistenciona generalizacija