? , , .
:
;
;
, , ;
, ;
, .
. . . . .
. .
(. descriptic - ) - , . .
- , .
- , , .
- , (Sin a, "+" .).
( , ).
. .
x,y,z | |||
p,q,r | |||
,Q,R | |||
^ | p ^ q | p q | |
v | p v q | p q | |
v | p v q | p, q | |
-> | -> q | p, q | |
<-> | <-> q | () | p , q |
- | -p | , |
, , . .
|
|
, , , , , , .
( ) , ( ) () ( ), , , . : . , . , (. ). , . , ( 434 b, 389 d, .), . ( , 16 2630), . . , . ., , . , . , , , . . , . . , . , . , . , . , . , . , . . .
() , . . (). - . . . . ,
, . e. , . , , . , . ., 1980- , , , - , . .
. , ( ), . ., , , , , . , , . ., , . . , , .
|
|
.: . . ., 1959; . , . 1. M.,1960.
. .
, . , .
, , , .
, .
, , , , .
, .
( ), ( ) ( ).
(, , , ..). ( , , , , ..). , , .
- . , , .
. , , .. , , , , , , , . - .
( ) , , , , , , (), , 酻.
(, , ) . , , , () (. 1).
, . , , , .
, , () , [2]:
1. P , P .
2. A , .
3. A B , , .
4. .
(. propositional language, PL)[2].
(, , ) . , . , .
|
|