.


:




:

































 

 

 

 


II. 2




, . - (, , . .); - (, , . .); - (, , . .); - (, , . .).

, , .

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

- , - . , , , , , , ,

. .

- , , . , , . , .

: , , , (, , , , , ); , ( , , , ); , , , (, , ); , (, , ); , ( , ).

. , .

(, , , ) - . , , , ).

() - . , : ; , - ; .

, :

 

 

 

 

, , - , -, - . , . , , . , , . , , , , , , . .

() - , , . .

: , , , . . . , . . : a=b ( ); ( ).

() - , - , . . : , ( ); , ( ).

, .

- , . : a,b; x,y; s,p.

(, , ) - , , . . , , , .

- , . : aÙb; ab; &b. : () (b).

- , . . () . : - , , .

(, ) , - . : .

Úb, Úb.

- , , ... : b; Éb. : , .

, , - . , , . .

- , ..., ... . : ºb; b; b. : , . , , , .

- , , , ... : ; ù ; ~ . : , , .

, , : +, =, º, ù, ð, ~, à, .

- , , . Quantum, (), quantity ( ). , , - Quantifier (). . (1848 - 1925). , , .. (1839 - 1914).

: .

"x, : , , , . alle all, . : , : "x P(x).

$y, : , .

existieren to exit, . , , : $ yP(y).

, . . .[4]

 

 
- . - . -
~ P NP
p, q pq p Éq pq Cpq
p , q; q   pºq   pºq   p~q   Epq
p q p+q pÚq pÚq Apq
p q pq pq p&q Kpq

 

, , , , .

, .

1. ?

) . ?

) ?

) , .

) ?

) , ?

) ? .

) ?

) (, ) .

) . .

2. , ?

) .

) .

) .

) : , , , (.. ).

) .

) .

) 0 1.

) .

3. () () .

) .

) .

) .

) .

) .

) .

 

 

III.

1. ,

2.

3.

- , . , .

, , , , , : ? . , : . , , (, , , ).

, , : ; , , , , ; . , .

. , , . . -, , . , : ; , , - , , ; ; ; .

-, , . , , , -, . .

, , . , : , , , , , , ; - , , , , , . .

?

- ( , ) ( , - ).

- . , : , ; ; .

- , , , .

- .

- .

. : .

( ) - , . , , , : 1) - ; 2) .

( ) - // , . , , .

: , , - . . . , . : - - - - , N. , .

, , , , . , - 1 1995 N. : , - 1 1995 N - , - 1 1995 - , - 1 - , - - , - - .

.

, , , .

- , ( ; ; ; ; . .).

- , , . , , , (, , ), , (, , ); , , (, , , ), , , (, , ). : , , .

- , ( , , ).

, , ,

- , ( ). : , , , .

- , (, , ). , .

.

- (, , , ). , , , () (, , , , ).

- (, , , ).

. , .

, , / - , - /.

, , , .

.

- , . .

- , , . .

.

// - , , . : , , , , . , () , , .

, . , . , :

A - A,B,C,

B -

C - D,E

D -

E -

// - , , .

 

-

- A B

 

 

//- , . //, - //.

 
 


A

- B

-

 

 

.

// - , , , .

 
 


-

- B A

-

C

 

 

// - , , , , . , . , .

-

-

,

: ,

. .

// - , , , , . , .

 
 

 


-

-

 

 

, , .

, ? . : , , , , //, // , , . .

// - , , , , , . , , -. - , . . : ? , - , ; - ; - , - , . .

, -, , , ; -, , , . - , - .

, / / - - . , . , , .

// . , : // //. .

, , //, , - , , . .

?

- . : - , , , , . : .

, // , , .
, , , , , , , . . , . , , - , - . .





:


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


:

:

, ,
==> ...

1305 - | 1263 -


© 2015-2024 lektsii.org - -

: 0.074 .