Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
3.
p1⇒qjp1⇒r
p1⇒(p∧r)
;
4.
(p∧r)1⇒(q∧s)
p1⇒qjr1⇒s
;
5.
p1⇒rjq1⇒r
(p∨q)1⇒r
;
6.
(p∨r)1⇒(q∨s)
p1⇒qjr1⇒s
;
7.
p1⇒qj∼p
q
,
p1⇒qj∼q
p
;
8.regułaodrywaniamodusponens:
pjp1⇒q
q
;
9.regułyodrywaniadlarównoważności:
pjp⇐⇒q
q
10.
(q⇐⇒r)⇐⇒(p⇐⇒r)
p⇐⇒q
;
11.regułasymplifikacji:
q1⇒p
p
;
12.regułyFregego:
p1⇒(q1⇒r)jp1⇒q
p1⇒r
,
qjp⇐⇒q
p
;
(p1⇒q)1⇒(p1⇒r)
p1⇒(q1⇒r)
;
13.regułaDanusa-Scotusa:
p1⇒q
∼p
;
14.regułaClaviusa:
∼p1⇒p
p
15