2
:
1)
2)
3) ,
4)
5)
6)
1) , . , .
.
.
.
.
: ³
2) ³ . , .
:
1) ,
2) , ;
3) =
4) , (, , , ), .
:
:
(. ) .
.
.
. , , , ( ) .
³ :
1) , .
2) . :
: (S) (P)
: (S) (). , .
, . , .
³ / :
.
, , :
(+) (P-). - ..
(S+) (-). - ..
(S+) (P-). -
,
(+) (P-). - ..
(S+) (+). - ..
(S+) (P+). -
. ( ), , :
|
|
|
1) , ,
2) .
, : г:
1) .
- .
- .
- .
2) .
.
, , .
.
3) , , .
.
.
.
3) - ( )
()
, - (), , , . .
( , modus ponens ) ( , modus tollens ), , , .
, . , ' , , . .
(), (), (), ().
(), ().
, ().
, . , : " , , " : F→(┴). (F) , , , .
(F), (), (), (), ().
(F), ,
, (F),
(F) →((→) ∧ (→))(F) →( ┴ ) (F) →()
,
(→) ∧ (→) ┴(F) 㳿 :
(F), (), (), (), ().
(), ().
, (F), ().
, :
(), (), (), (), , (D), .
|
|
|
, , , D.
,
