, , : 1) , 2) - . , , - , . - : p, q, r, s,... . , : "..., ...", "", "" .., . (. 1). , - . , 1 0 "" "".
. ", ...". () : -p. : ", p", : "He-p". p , , " ", -p : ", ". , p ( , , ). -p (", ") , , . , p , , , . , . 1 p 1 -p 0, p 0 - 1.
1
p | q | -p | p /\ q | p \/ q | p ¯ q | p => q | p ó q |
1 0 1 0 | 1 1 0 0 | 0 1 - - | 1 0 0 0 | 1 1 1 0 | 0 1 1 0 | 1 1 0 1 | 1 0 0 1 |
, . :
-(-A) = A (1)
, : .
. , , "". , "", "", "", "", "" .. : p /\ q; : p q. , "": " ". , p q: " " (p) " " (q). . .
|
|
, . ? , . , , , " " " " (p=1; q=1), , , . ( ) . . , , , , (p=0; q=1). , , , , , , - . ? , , . . , (p=1; q=0) - - . , , .
, , , .
(). . - p \/ q; : p q. 1, - . " , ". - . " " ( p), - " " (q). , .
, - , . , p, q (p=1; q=1). ? , , , , , . , , , , . . - . , , p=1; q=1, 1. , , ( - , - ) , , : , . , , ( ) 1. , , , , , - , , .
|
|
(). , , . : , "" "". "". p ¯ q; : p q. . ; - , , 0 .
. , , ",... ". - p => q; : p (, ) q. , , - . , , . , .
, . : " , ". : " " (p) " "(q). , . , ( , , ) : ( 1) 1. , (p=0), , , (q=1), , , , ? ? , , , , , . . , , , (p=1), (q=0), , , . , (p=0) (q=0), , , .
, . , , , : , , , . . . : , . : " , ", - , , . : " , ". , .
|
|
. " ". p ó q; : p q. , : , . , - , , . , . , . , , , - (p=1; q=1). , , , . , , , , (p=1; q=0), , , , (p=0; q=1). - , (p=0; q=0) - , , , .
, . , " , " :
(-p => -q),
p , q - .
, , , : p - , q - , r - . :
(p ó (q \/ r)).
, , . , (p) , (-q) (-r):
-(p ó ((-q) \/ (-r)).
(p), , (-q) (-r):
(p => -((-q)/\ (-r)).
, , - :
-(p /\ q) =>-r.
: , - :
-((p /\ q) =>-r).
(-p) (-q), (r) (s): (-p /\-q) => (r \/ s).