, - .
- ( +); - ( -).
, .
, ; .
:
A I E O
S + - + -
P - - + +
:
1. .
2. , , .
18. , . , , 0, I. ( ). - (); - I O - (); - I (), () - ; - , I- ().
, .
. . , , . , . ∀ (x)(S(x) ⊃ P(x)) ⊃ ∀- (x)(S(x) ⊃ P-(x)) , S P, , S P.
, . , , . , O . ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃- (x)(S(x) ⋀ P-(x)) , S P, , S P.
, , . , . A , E . ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃ (x)(S(x) ⋀ P(x)) , S P, , S P. , . , , .
19. -- " B C D". , " ". , .
1) S , ,
2) , ,
|
|
- -- " B C D". , " ". , .
, D F
, , b, : , , ,
-- , . . , - ( , D). : , .
() , .
() , .
20. ( , , , , ), (A, B, C, D a, b, c, d). , , , .
() ( ). , :
( ), ( , 腻). ;
( ), ( , ). .
, ( , ). ab. , ( , , ) , , .
( , , , , , , ). .
( ). , - , , , , (: 3, , , , 3). ( -, - ).
. a ~ b, a b ( ), (): , (a b).
21. - , , , .
, , , .
, , . , , , .
:
- . : . , -;
- -. : ;
- -. : .
, . , , , . .
:
- ( ) - . , , . : ( ) , , , ( );
- ( ) . , , . : , .
. , , . :
- , . : ;
- , . : .
. , , . . : , .
|
|
- ( ) () , . . , , , . , (. . ), , . , : - . , (). : → (: , ), , .
- . , : , , , : , , . ? , , , . : , , : . , , . , : , ( , ).
.
|
|
- - , , , . , : , ( , , , ), , , , . . , . , , , 10 20 , , , , . - : ( Λ ), (: , ), - .
, - .
- , () , , () - (), , . . ( ).
. : (), (), , ( , , , ). : (), (), , ( , , , , ). , : , (), , , - (). ( , , - , . .).