.
.
1. , - ?
1) .
2) .
- , . , . 1) - ; 2) - (, , , , ).
2. ( ):
1) ;
- , , , , .
3. , :
1) , , , , ;
- ;
4. , :
. : - - - - ; : - - - - .
5. :
1 ) (). (). ().
6. , ,
:
1) . A home.
1. , ,
, :
- , - , .
- () - (), ...(e)..
- , - , -, - . .
8. , :
/. - , .
,
, . .
: - ,
.
, , ,
:
1. , , , .
. .
: , , .
.
1. .
:
. . S .
. , , u S, . :
|
|
2. ,
, :
. . S л. I. S л - . - . . S л - - . . S л - - .
3. , , :
. S л : - . I - . - . - - .
4. :
, ()
, (q)
,...(r) (..) , 3- , . : & q & r
5. :
( →b) & a → b
(→b) | b | (→b)& | ( →b) & →b | b | ||
.
1. , , , :
. :
- S л . S .
S -.
. S .
S. , , . . S .
S. , , .
2. . . .
. - .
, - . -- S л - . : .
. S . S -. , . -.
3. : , ,
, .
:
, (), (). - .
(S) (). Oh(S) (). .
4. :
, . () (). - . (S) (). - . (S) (). -
5. , .
, ,
:
|
|
() ().- . . (S) (). , H.Kpymou(S) ()???? . , , , . - .
6. :
. , , , , , . , , , .
. .
7. ,
:
(), (q).
. ( q)
( ). - . Modus tollens - .
→q,& q
p
8. , ,
:
, , . , . , . .
, (); , ( q). (r).
(s).
(f). (). :
(p&q)→r)&(r→s)& (s→(f&m)) (p&q)→(f& m) 9. , , :
, , . . , .
- . - - modus tollendo ponens.
(˅q˅r)&(q˅) r , .