p, q, r, . . . p
p, q, r, . . .
n n n
<", Ź p <" p
'" p q p '" q
(" p q p (" q
�! p, q p �! q
�!, a" p q p �! q
("q, p (" '"q, p'", . . .
ą �
<" ą, ą '" �, ą (" �, ą �! �, ą �! �.
(ą �! �) (" �, (ą (" �) '" (ą (" ł).
 1 0
p :
p = 0 p
p = 1 p
p q <" p <" q p '" q p (" q p �! q p �! q
0 0 1 1 0 0 1 1
0 1 1 0 0 1 1 0
1 0 0 1 0 1 0 0
1 1 0 0 1 1 1 1
1.
p (" <" p
(p �! q) �! (<" p (" q)
<" (p (" q) �! (<" p '" <" q)
<" (p '" q) �! (<" p (" <" q)
(p �! q) �! (q �! r) �! (p �! r)
1) (p �! q) �! (q �! r) �! (p �! r) = 1 { }
2) (p �! q) = 1 {1}
3) (q �! r) �! (p �! r) = 0 {1}
4) (q �! r) = 1 {3}
5) (p �! r) = 0 {3}
6) p = 1 {5}
7) r = 0 {5}
8) q = 0 {4 i 7}
9) (p �! q) = 0 {6 i 8}
2) 9)