2-3:
:
.
.
.
:
.
.
, .
"" . , , , , , , "", "", " " . . , , . , .
(), . . , .
. - , . ( ) . .
, , . . , , . . , .
- , , . , , .
|
|
, , () .
. , , . . , . : " 120 30 , . 30 , 2". :
( = 120) ÙT(t < 30) (D <DKp);
( = 120) ÙT(t >30) F(2).
:
( = 120) , , 120;
T(t < 30) , 30 ;
T(t > 30) , 30 ;
D < DKp , ;
F(2) 2.
, (Ù), ().
, .
, .
:
1) ;
2) ;
:
;
:
1) ;
2) ;
:
1) ;
2) .
() :
;
;
;
;
;
;
;
;
;
;
.
:
(Modus ponens)*
*
(. modus ponens)
, .
, , modus ponens . . , .
. , . . , () . . , , , ( () - .). .
|
|
, , , . , , , :
_ (, ).
, .
() , . , ( ). : , . , , , . , , (), , , , , , .
- , .
, . , .
. . . , . _ . . , ( ) _ (, ) = .
. , , . , , ,
_ (, ).
. , , .
, . , , , _2_ _10(x, y, z), x, y, z , . _2_ _10 . . , , - . .
_ (, , , ) . . , , . (, ) = (, ), , , = . , . .
|
|
- , , . : .
. . , , , .
. - , . .
, , . . , , .
: , , , . , , , , , .
, , , :
= = (, ). , . . , X, Y , x, y , F (x) :
- " "
. , . . , :
, .
, .
:
1. , , . , , , .
2. . .
3. , , .
, :
_() → ()
() _() → ()
, . , . , , , , , . , , :
|
|
(, ) →__ (, ).
, . .
, . , :
:
Modus Ponens ,
.
. .
:
: ,
: ,
: .
, , , .
, . : , , .
, , . Modus Ponens, , , . :
, .
. , , δ θ.
:
1. δ θ.
2. δ θ.
3. δ θ.
. , , , δ , θ δ. . , . , Modus Ponens , , .. , . , , , . Modus Ponens, , , . . , , .
Modus Ponens . , , . , . , . :
.
: .
, , . , Modus Ponens:
|
|
,
().
Modus Ponens . - , . , . , . **, .