1. . , . . , .
, . , .
, . : .
, . - , .
, .
. : , , .
, - , , - .
: , , , . (), .
: .
1. .
(1) , (2) (3) , . .
(1) . , , , . , , , .
|
|
. , . , . . : . . : , .
: :
. () :
1. (), ().
2. . ().
, - :
, -, . . , . .
(2) , , , .
.
:
.
:
(1) 21- : , , , , ..
(2) .
, , .
, . .
, . , , , . .
(3) , . , , . , , . , .
|
|
, . , .
2. .
() : (1) , (l), (2) , : v A v .
: (1) (2) .
(1) . .
. l; ( ) .
. , . : . . , . , .
S л, : S л. S л : S л (. ).
, , v q, l( v q) | |q. , : , . : , .
(|) (). :
. , (F). .
F , , . , :
. . - :
. :
: , , .
, , tertium non datur: , . , , .
|
|
(2) , , .
( |), , , , .
. , (). . - (tollendo ponens) - :
, , : < v v >. , , .
, , - , , , .
2. 1. . , . , .
, , , . .
- .
, , , .
, . , , . .
1 : (1) , (, ; ..); (2) , (, , ..).
|
|
: , .
, (), , , . , .
.
, .
.
. : , .. .
, .
: , .
, , .
. 55
(1) , . . , , , . , .
, , . . , .. . : , , - - .
, , . , : .
, : ; ; F :
: F, |. |.
, , . , . , . . .
(2). . , , . , , .
, , , , , .. . , .
, . , .
|
|
(3) . , . , . .
: , ..., , ... ..
: , , , .
, . , .
, . , ; ..
. , , .
, , , .
, , , . .
, . , . . , , .
. , .
, , .
.
, . .
(1) .
(2) , , .
(3) , .
: . .
.
, .
. -
: , , 1 ..
. - ( ), , .
- (). . , .
: ; ; .
, , .
, , , , .
.
() , : , , .
(1) , -. ( ) . , .. , .
, , .
(2) . , , . , .
(3) -, -, -, -, - , () . , , . , , .
. . .
: ; . . , , .
(1) , , , . , . , (p. 56).
. 56
.
(2) , , , , .
, (. 57).
, , . .
. , .
(3) (. 58).
. 58
:
(1) 1 .
(2) 2 .
(3) 3 .
(4) 4 . , . , .
, 1 , , . . , .
2 3 , , . , , .
4 . .