, . - (, , . .); - (, , . .); - (, , . .); - (, , . .).
, , .
, , , , . . , , , , . : , . .
- , - . , , , , , , ,
. .
- , , . , , . , .
: , , , (, , , , , ); , ( , , , ); , , , (, , ); , (, , ); , ( , ).
. , .
(, , , ) - . , , , ).
() - . , : ; , - ; .
, :
, , - , -, - . , . , , . , , . , , , , , , . .
|
|
() - , , . .
: , , , . . . , . . : 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
// - , , , , . , . , .
-
-
,
: ,
. .
// - , , , , . , .
-
-
, , .
, ? . : , , , , //, // , , . .
// - , , , , , . , , -. - , . . : ? , - , ; - ; - , - , . .
, -, , , ; -, , , . - , - .
, / / - - . , . , , .
// . , : // //. .
, , //, , - , , . .
?
- . : - , , , , . : .
, // , , .
, , , , , , , . . , . , , - , - . .