. , , :
) - , - .
: . : S л S л;
) - , , . . :
- : S л. . : ; ;
- , . : S л. : ;
) - , - . , . :
- - , - . : ;
- - , -, . : .
.
,
.
, , . . - , , , , . , , . :
) () - , , "" (, ""). : - .
: S1 Ù S2 л.
:
- , : S1 Ù S2 л;
|
|
- , : S P1 L P2. : , - ;
- : S1 Ù S2 P1 Ù P2. : -.
, . .
, , . ( , ) , . (. 1);
) () . . . , . : - , , .
: S 1 Ú 2 Ú 3.
: -:
- - , ( Ú). : . ;
- (-) , - ( Ú). : , . .
(). , . , . (. 2).
:
- : S1 Ú S2 л. : (), (), . (. 124 );
- , : S P1 Ú P2. : . (. 113 );
|
|
- , : S1 Ú S2 P1 Ú P2. : , , , . (. 86 ).
, - , .
) .
, .
: Ø .
, : , . , , , . , -. , . ,
(. 3);
1 2 3
x | y | Ù | Ú | Ú | Ø | |||||
) , , .
- , - . , , , ( ), , ( ). : , .
, », : ».
- , . : - , , , . , . (. 4).
() :
- . : , ;
- . : , ;
- . : , .
, , , . , 2´2 = 5, , , . 2´2 = 4, , , , . .
) , , - . , . , , , ( , ). , , , . , .
|
|
, : , , .
: .
, , . , , , , . . (. 5).
4 5
.
, , .
1. . .
: S л.
, affirmo - . : ; . . :
. : . :
, - .
2. .
.
: S л.
Ż, nego - .
: . . . :
.
3. . .
: S л.
I, affirmo.
: ; Ի. , . :
. . , . , . :
, - .
|
|
4. . .
: S л.
λ - nego. : ; . . : , .
, , .
, . , .
9