1.PR.WYŁĄCZONEGO ŚRODKA
p v -p
2.PR.SPRZECZNOŚCI
-(p^-p)
3.PR.PODWÓJNEJ NEGACJI
- -p->p
4.PR.PRZEMIENNOSCI KONIUNKCJI (p^q)=(q^p)
5.PR.PRZEMIENNOŚCI ALTERNATYWY
(p v q)=(q v p)
6.PR.TRANPOZYCJI PROSTEJ
(p->q)=(-q->-p)
7.PR.DE MORGANA DLA KON.
-(p^q)=(-p v -q)
8.PR.DE MORGANA DLA ALT.
-(p v q)=(-p^-q)
9.PR.ZAPRZECZANIA IMPLIKACJI
-(p->q)=(p->-q)
10.PR.ZASTĘPOWANIA IMPLIK.
(p->q)=-(p^-q)
(p->q)=(-p v q)
11.PR.ZASTĘPOWANIA KONIUN.
(p^q)=-(-p v -q)
(p^q)=-(p->-q)
12.PR.ZASTĘPOWANIA ALTERN.
(p v q)=-(-p^-q)
(p v q)=(-p->q)
13.PR.ZASTĘPOWANIA RÓWN.
(p=q)=((p->q)^(q->p))
14.PR.ZAPRZECZANIA RÓWN.
-(p=q)=(-(p->q)v -(q->p))
-(p=q)=((p^-q) v (q^-p)
15.MODUS PONENDO PONENS
((p->q)^p)->q
16.MODUS TOLLENDO TOLLENS
((p->q)^-q)->-p
17.MODUS TOLLENDO PONENS
((p v q)^-p)->q
18.MODUS PONENDO TOLLENS
((-p v -q)^p)->-q
19.PR.TRANSPOZYCJI ZŁOŻONEJ
((p^q)->r)=((p^-r)->-q)
20.PR.KOMUTACJI
(p->(q->r))=(q->(p->r))
21.PR.EKSPORTACJI I IMPORTACJI
((p^q)->r)=(p->(q->r))
22.PR.ROZDZIELNOŚCI KONIUNKCJI WZGLĘDEM ALTERN.
(p^(q v r))=((p^q)v(p^r))
23.PR.ROZDZIELNOŚCI ALTERNATYWY WZGLĘDEM KON.
(p v(q^r))=((p v q)^(p v r))
24.PR.MNOŻENIA NASTĘPNIKÓW
((p->q)^(p->r))=(p->(q^r))
25.PR.MNOŻENIA POPRZEDNIKÓW
((p->r)^(q->r))=((p v q)->r)
26.KONIUNKCYJNY SYLOGIZM HIPOTETYCZNY
((p->q)^(q->r))->(p->r)
27.BEZKONIUNKCYJNY SYLOGIZM HIPOTETYCZNY
(p->q)->((q->r)->(p->r))

---