inne torun0930

1 ;v~;

*3. ~0>A-p)

4.--p~p

(prawo wyłączonego środka);

(prawo iprzeczoośd);

(prawo podwójnej negacji);

7.    (prawo pczemicnności koniankcji);

8.    (p v j)s(yvp)    (prawo przemienne ici alternatywy);

(prawo transpozycji prostej);

(prawe Ce Morgana dla koniuokcji); (prawoCc Morgana dla alternatywy);

(pcawo zaprzeczania implikacji);

(prawa zastępowania implikacji); j (prawa zastępowania Łoniimkcji);

^ (prawa zastępowania alternatywy); (prawo zastępowania równoważności);

jaay>A«)s(~pv-_ę)

;!. *Łpv<j)x(~ps_t ~_q)

12. ^p-*f)a(pA~£)

11 (p-ę)a^p.*.

M.

15. (>Ay)H~(~^v

J6. (pA?)stffct-»~₄)

17. (pvęr)a~-(~p a~j)

IŁ (pvf)«(~p-*£)

19. (p = f>*0-^)A(ę-.p))

■(*« (p-»f} V ~(q-p)) I

,    ) (prawi zaprzeczania równoważności);

i ~<P*?)«((PA ~*)v(*a ~p) J

12. ((p-*<j)Ap)-*ę    (matka ponenao ponent):

13. ((/»-• ęl a ~<7)-*    (modus tolUntJo toUensy,

**. ((pvf)A ~p)-*q    (modus toHe.ukj ponr/u);

1    (/norńrs penendo toffensj;

& (C³ A y)-*/-) s((p A ~r)-» ~.y) (prawo transpozycji złożonej);

(p—(g-^))»{f-*(p-*0) (prawo komutacji);

Ł '(pAg)-*r)a(p-(?-»r)) _ (prawo ekspcrtacji i importami);

14 (p av r)) a((p a g) v (p ar)) (prawo rczdzieinofici koniankcji względem alternatywy); St(pv(jAr))a((pvq)A(p vr>) (prawo rozdzieizofci alternatywy względem Łoniunkcji); O. (O-5)A (p-*r))a(/>-•(?ar)) (prawo mrożenia następników);

14.    ((p-*r)A(ę—r))»((pV4}—r) (prawo dodawania poprzedników);

36.    [(p-*ę) a (q—r))—(p—r)    (fconiunkcyjny sylogiztn hipotetyczny^

37.    (bczkcniuokcyjr.y sylogina hipotetyczny}.