, , , .. . . . , , , . : . .
, . .
: ( ()Ù Q (x)) xP (x).
, , , .
: xP (x) x (P (x)Ú Q (x)).
, .
: xP (x, a) x $ yP (x, y).
, , , .
: x " yP (x, y) xP (x, a).
, , , .
, , .
. .
:
1. . , . - , .. : , .
, . - , .. , , , .
2. . , - ( , ). , - (, , ).
. , , .. . : , () (, ); , , ( ); , ( , , ); , (, ).
|
|
, (, ). , , - . , .
, , . , (, ). , , ( , ). , ( , ).
:
1. . (, , , ..). , , (, , , ..).
2. () . , (, , ). , : , . , . (, , , , , ). , , . , , , , ..
3. . , , (, , , ). , , , : (, ), (, ), (, ).
, , , , . :
1) ( . substantia , ), , ();
2) ( . attributum ), ( );
|
|
3) ( . relativus ), , , , .
. .
. , . . . , , , , , . . , . . .
. , . , . (. 2, 3).
. (), , .
() , (. 2, ). , ; .
, |
. 2.
, (. 2, ). , ; .
. , (. 2, ). , ; .
. , () ().
, , (. 3, ). , ; ; .
. 3.
() , . , (. 3, ). , ; ; .
() , , . (. 3, ). , ; . . , .
(. 4).
D |
. 4. (), (), (), (D)
. , .
|
|
. , . .
, .
( . finis , ).
:
1) , , ;
2) .
, .
. : , ..
, , . , , , , .
.
( ) . ( - ).
. .
.
, . , , , : .
: . , (, , ), . :
. , - , ;
, ;
..
, , : . , , . , . , . , , .
. , . , .
:
- ( . definiendum) (dfd);
- ( . definiens) (dfn).
. , , .
|
|
, , . . : , .
, , . , , .. , . : , .
.
, , . : Wdfd=Wdfn.
.
. . .
, , . : , .
( ) . , . , , , , , ..
, , . : .
( ) , - . : , .
, .. , . : , .
. , .. -, .
- , () (), .. . : , - ; , , .
.. .. . (- ), , , , .. , (). , (), . : , .
. (), .
. : , , . .
, , () . , , , .
, . , . : , . , .
|
|
, . , .
, , , .
, , . , : 2 = ´ .
:
1. ( ). , .
:
) . , : Wdfd < Wdfn (. 5, ). : , . , , , . , ( ), ;
Wdfd |
Wdfn |
Wdfd |
Wdfn |
Wdfd |
Wdfn |
Wdfd |
Wdfn |
. 5. ,
) . , , : Wdfd > Wdfn (. 5, ). : , . , , ;
) . , , .. (. 5, ). : . ;
) . , , () (. 5, ).
, . , , : , . , , , , .
2. . , , . : , .
, , . , , .
( ). , , (, , ). : ; , .
3. . , , . , , , . . : .
, , , . : ; .
4. . .
, , . , . , , . , .
. , , , .
5. . , , , , , . .
, , , , .
6. . , , ( ), ( , ) ( , ) , , , , ( , ) .
7. . , , , - . , , .
, , , , ( , , ). .