, ,
.
, .
.
31
-
- ,
, .
: 1) 2) .
1. , ,
,
;
.
2. , ,
,
.
.
- ,
, :
(modus ponens) (1) (modus tollens) (2).
- .
:
.
(3 4) .
:
.
32
-
- ,
,
.
, () ,
, .
1. -
,
.
, :
-- ,
. ,
.
2. -
, .
, :
- ,
, ()
. ()
|
|
, .
,
: ,
, .
, .
-
- ,
.
33
-
, ,
, -, .
, ,
( ),
( ) ..
: ()
(), .
, .
, .
.
:
(-)^(q->),vq
.
.
.
:
(p->q)^(r-s), pvr
qvs
, .
, .
.
:
(p->q)^(p-r),1qv1r
P
. ,
.
.
:
(p-q)^(r->s),1qv1s
1pv1r
35
,