.


:




:

































 

 

 

 


. , ,




 

, , , .. . . . , , , . : . .

, . .

: ( (Q (x)) xP (x).

, , , .

: xP (x) x (P (xQ (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. . , , , - . , , .

, , , , ( , , ). .

 

 





:


: 2016-11-12; !; : 413 |


:

:

.
==> ...

1519 - | 1348 -


© 2015-2024 lektsii.org - -

: 0.052 .