, , , , , . .
- , - , .
, .. Ի; .
, , : , . , . . , , , , , , , : .. . .
. , : Ha .
. , . , , . .
: , , . .
- , . S ( - subjectum).
, , . л ( praedicatum).
. .
(, ..), , , .
( ) , , . : , , .
, : (S) : ; (P) - . , . - , .
. , , . . : - , - . , . , - , . , .
|
|
, , . , ? , , . .
, , , , . . , : !, !, ! .
, - , , . , . , . , . : ; ; ; ; .
. , - , .
1. .
, , - , () :
) . : ;
) . .
- - . : .
- . : - .
. .
. .
|
|
) , , , .. : , .
2. .
: . . . . : . . . , , . : , .
. : . ,
: S л, : S л.
. . : .
3. .
. , , :
) - , - . : . : S л S л;
) - , , . . :
- : S л. . : ; ;
- , . : S л. : ;
) - , - . , . :
- - , - . : ;
- - , -, . : .
. , . . . , , , . .
|
|
. , .
4. .
, , . . - , , , , . , , . :
) () - , , "" (, ""). : - . : 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
, - . , . , , . . , , . , , .
. . : S л. , affirmo - . : ; . . :
. : . :
, - .
. . : S л. Ż, nego - . : . . . :
.
. . : S л. I, affirmo. : ; Ի. , . :
. . , . , . :
, - .
. . : S л. λ - nego. : ; . . , . :
, , .
, . , .
() , () , , , , , , , .