, , , - () , (, ) "", "", "..., " ", ". , . . , , .
, (- ) , :
1. ;
2. ( );
3. ( );
4. (n- : ).
,, , .
, i , .
.
, , - , -, - . , .
.
, .
1. .
2. , .
3. , .
4. , .
5. , .
:
1. : ,, , .
- :
) ;
) , ;
) .
3. .
I. ;
II. ;
III. ;
4. :
Modus Ponens. , : .
.
() , , : 1 0.
n-, n- .
:
1) :
1. 1, 2;
2. 1, 2.;
3. , i ;
4. ;
5. ;
6.
2) ( ):
1. .
1. ;
2. fn , t1, , tn , fn(t1, , tn) .
2. .
1. n , t1, , tn , n (t1,, tn) . (). . : , .
2. , - , , .
3. , , - .
4. , - .
|
|
3) :
1. 1, 2, 3
2. 4 , () ;
3. 5
4) :
1. m.p.
2.
3. , .
= , - , f , () .
,
.
- Û