.
1- : . .
2- : , .
3- 4- , .
3- : . .
4- : , .
41. .
.
1 2
1- :
1. .
2. .
, 1- : , , , .
1- . , , , , , . . () , , , , 1- .
42. .
1 2
2- :
1. .
2. .
2- , IA, , IE, AI, , , , , , .
2- , , ( , , ) . , . 2- , , , , .
43. .
3- :
1. .2. .
, 3- , . : (S) () 3- .
.
, .
|
|
:
( - q) ^ ( q -> ) ->
: .
, , . , . .
45. -
- , , .
: 1) 2) .
1. , , , ; .
2. , , , . .
- , , : (modus ponens) (1) (modus tollens) (2). - . : . (3 4) . : .
- .
- , , .
, () , , .
1. - , .
, : -- , . , .
2. - , . , : - , , () . () , . , : , , .
|
|
, .
- - , .