, , : "" "", , . () , .
, , . .
- , , : " , , , , ". p " " q - " ". :
(p => q) /\ (-p => -q).
, , , . , p (p=1), q - (q=0). , , , . (, ). . :
(1 => 0) /\ (-1 => -0).
. . -p, 1 p , 1 ( ), , -p. : . , . :
(1 => 0) /\ (0 => 1).
. (1 => 0) , p=1, q=0 ( ) , p => q, ( ); (1 => 0) 0. (0 => 1) , p=0, q=1; 1. (0 => 1) 1. :
0 /\ 1,
0.
, , .
, , ( (p => q) (-p => -q), , (p=1, q=0). : , , , , .
|
|
. , - , .
2. , , , ( ), . , ( ). , ( ).
2
p | q | (p => q) /\ (-p -q) |
1 0 1 0 | 1 1 0 0 | 1 0 0 1 |
, , .
. " , , , , ". : (p /\ (-p => q)), 3. , , , (p=0, q=1), , , , , . , : " , , , , ". , . . , , - . , 3. . , , , - . , , .
. : , , . p " ", q - " ", :
(p \/ (-p => q)).
. 3.
3
p | q | p \/ (p q) |
1 0 1 0 | 1 1 0 0 | 1 1 1 0 |
, . , , , , : - 8, - 16 .. , , .
|
|
, - : ", , , ". p " ", q - " ", r - " . , , :
-(-p ó (q /\ (-r)).
, (p=1), (q=1) (r=0). . .
-(-p ó (q /\ (-r)),
-(-1 ó (1 /\ (-0)),
- (0 ó (1 /\ 1)),
-(0 ó 1),
-0,
1
, (p=1), (q=0), (r=0). . .
-(-1 ó (0 /\ -0)),
-(0 ó (0 /\ 1)),
-(0 ó 0),
-1,
0.
, . , , , "", , , , . - , . . .
:
(A /\ B) = -(-A \/ -B) (2); (A /\ B) = -(A => -B) (3).
:
(A \/ B) = -(-A /\ -B) (4); (A \/ B) = (-A => B) (5).
:
(A => B) = -(A /\ -B) (6); (A => B) = (-A \/ B) (7).
, : " - ". (p - " ", q - " "), (p /\ q) , (2) (3), , , - : ", , "
(p /\ q) = -(-p \/ -q),
: ", , "
(p /\ q) = -(p => -q).
. , ( ).
, " , " , : (-p /\ q), p " ", q - " ". (2) , ( , ), , , , , :
(-p /\ q) = -(-(-p) \/ q)
, :
(-p /\ q) = -(p \/ (-q)
, , , : " : - , ". , : , .
|
|
(3):
(-p /\ q) = -(-p => -q).
, : ", , ".
: " - , ". : (-p \/ q), p " - ", q - " ". (5) :
(-p \/ q) = (-(-p) => q)),
(-p \/ q) = (p => q).
: " - , ".
, , , : " , , , ( )" - , . , , (4):
(-p \/ q) = -(-(-p) /\ (-q)),
(-p \/ q) = -(p /\ (-q)),
" () - ".
: " , , " -(p /\ (q \/ r)), p - " ", q - " ", r - " ". , , (3), (q \/ r) .
, . , , : " : , ".
- , . , , () " - , " (1) : ", - , " (2). , - ? :
1) - , (-p /\ q) (1)
2) , - , -(-p => -q) (2)
p " - ", q - " ".
, , , , . (3). :
(-p /\ q) = -(-p => -q).
(2), 2) ", - , ". , , , . :
|
|
, : (1), , . , . , , . .
. :
1) " , "
2) " , , "
(p => (q /\ r)) (1); (-p \/ (-(q /\ r)) (2).
(1) (6), , , (2) , (5), , . (2).
(-p \/ (-(q /\ r)) = ((=p) => (-(q /\ r));
(-p \/ (-(q /\ r)) = (p => (-(q /\ r));
, (p => (-(q /\ r)), (1) : " , , ". (2). : . (1), (-p \/ (q /\ r)), - , , : " , ".
- ; - ; - ; - .
= .
- -; - - .
() - , , ; () - .
- , , - ; - .
- .
- , ; - , .
- ( ) ; - ; - (, ) ; - .
- ; - ; , - ; , - .
() - , ; - ; - , .
- : ; - ; - .
- ; - , ; - , .
- , ; - - .
- , ; - , ; - , ; - , ( ).
|
|
(S a P), (S e P), (S i P), (S o P) - ; - , .
- ; - , , ( ) ; - , , ( ) .
- , ; () - S a P S e P; () - S i P S o P; () - 1) S a P S o P, 2) S e P S i P; () - 1)S a P S i P 2) S e P S o P.
- ; () - ( ); () - ; () - ; , , , - .
- , ; - ; - ; - ( ); - , ; - ; - .
- , ; - ; - , .
- ; () (S) - , ; () (P) - , ; (M) - , ; - ; - .
- , .
- ( : ); - , ; - , .
- , ",... ..." ; - () - , , ; (modus ponens) - - ; (modus tollens) - - .
- , ( "", ); - () - , - - ; - (modus tollendo ponens) - - ; - (modus ponendo tollens) - - ; () - , ( , ).
- , (. ); - , ( ); - , ( ).
- ; - ; - , ; - , ; - , .
- , , ; - , .
- .
- , ( ); () - , ; ( ) - ; - , , .
- , ; - , ; () - , ; - , .
- , , ; - , , , , ; - , , , ; - , .
- , - ( ); " " - , ; " " - , , - ; " " - , , - ; - , .
, , - , ; , , - ; " " - , , .
- ( ), ; - , ( ); - , ", ...", , ; - , "" ( - /\); - , "" ( - \/); - , "..., ..." ( - =>); - , , ( - ó).