, .
- .
- , , .
p, pq
modus ponens
q
p , , q .
2.
- .
- .
- .
1.
(, ).
, .
, .
( , ) () .
, , , .
, : , , .
, , .
, , , .
: - .
: , .
() , . , () , , ..
() ().
, , .
() () Ì: AÌB. , A , B , A B.
() . () , ( ). , , , ..
() Î: aÎA. , a - , A , a A.
, () .
() , . , .
, .
, .
|
|
() , .
, , , , .
2.
.
, , .. , , .
.
, , , , , ..
, . , , , , , , .
.
, , . .
, 1941-1945 ., , .
, , . .
, , , , , , .
, .
, .
, , , , , , .
, , .
, .
, , , , , , . : , , , , , ..
, , .
, , , , .
, .
, ( ), (), ( ), , .
3.
.
, , .
, , .
, , .. , , .
.
.
, , . :
1. . , ( ).
|
|
, : , .. () .
2. . , . , .
3. . , , .
, (A) (B).
, (A), , , (B), .
, , .
, . , .
, () , () .
, , . .
, , . :
1. . , .
, , .
2. . , , , .
, , , .
3. . , , , .
, , , .