46854

(P * q) ■ Kp—^ q) A (q —> p)}

~(p - q) ■ Wp-F q) V ~(q    p)}

~(p - q) - {(pA ~q) V (q A~p)J (p / q) -> (p —> ~q) -(pvq)«(*pA-q) *.(pAq)-(-pv-q)

Kp —► q) A p} —» q

{(p ~> q) A ~q} —> ~p

|(pvq)A~q}->p

{(p/q) A q} —> -p

{(p —Mq -> r)} - {(q —Mp —> r)}

{(p Aq) —► r}■ {p —>(q —» r)} {pA(pvr)}« {(pAq)v(pA r)}

{pv(pAr)}«{(pvq)A(pvr)}

{(p -► q) A (p -► r)} - {(p-> (q -> r)} {(p-> (q -> r)} -> {(p -> q) -H p ->r)} {(p—> q) A (q —► r)} -Mp->r)

{(p-> r) A (q -> r) a (p v q) }-> r {(p —>q)A(p—>r)A (~q v ~r)}-> ~r prawo zastępowania równoważności prawo zaprzeczania równoważności prawo zaprzeczania równoważności prawo zastępowania dysjunkcji prawo de Morgana dla alternatywy prawo de Morgana dla koniunkcji modus ponendo ponens modus tollendo tollens modus tollendo ponens modus ponendo tollens prawo komutacji prawo eksportacji i imporatacji prawo rozdzielności koniunkcji względem alternatywy prawo rozdzielności alternatywy względem koniunkcji prawo mnożenia następników prawo syiogizmu Fregego prawo syiogizmu hipotecznego dylemat konstrukcyjny dylemat destrukcyjny