((p->q) ˄ (q->r)) -> (p->r) hipotetički silogizam ⱯxⱯy (Rxy -> Rxy) simetričnost

((pVq) ˄ (¬p)) -> q modus tollendo ponens ⱯxⱯy (Rxy -> ¬Rxy) asimetričnost
((p->q) ˄ p) -> q modus ponendo ponens ⱯxⱯyⱯz (Rxy˄Ryz) -> Rxz tranzitivnost
((p->q) ˄ (¬q)) -> ¬p modus tollens ⱯxⱯyⱯz (Rxy˄Ryx) -> ¬Rxz intrazivnost
((p->q) ˄ (p->¬q)) ->¬p reductio ad absurdum ⱯxRxx potpuna reflektivnost
(p->q) <-> (¬q ->¬p) kontrapozicija ⱯxⱯy (Rxy -> Rxx˄Ryy) reflektivnost
(p˄(q˄r)) <-> ((p˄q)˄r) asocijativnost konjukcije Ɐx ¬Rxx ireflektivnost
(pV(qVr)) <-> ((pVq)Vr) asocijativnost disjunkcije ¬(p˄q) = ¬pV¬q
(p˄(pVq)) <-> p apsorpcija disjunkcije ¬(pVq) = ¬p˄¬q
(pV(p˄q)) <-> p apsorpcija konjukcije
(p˄(qVr)) <-> ((p˄q) V (p˄r)) distributivnost konjukcije (prema disjunkciji)

(pV(q˄r)) <-> ((pVq) ˄ (pVr) distributivnost disjunkcije (prema konjukciji)