.


:




:

































 

 

 

 


.




, () . : » p q:
) , . :

:

,


- .

, . o , . - , - , :

1. (. ponendo tollens) - -.
. , . :

S ,     S ,
S S
, S - , S -

:

q   q
p q
q p

:

,

 

-
,

2. (. tollendo ponens) - .
, , , , . -. :

S ,     S ,
S - S -
, S , S

:

q   q
p q
q p

:

-
-
,

 

,

, , . :

, ,
, ,

. .

:

1. , :
1.1. , . - . , . - , .
1.2. , . . , - . -, .
1.3. . , . , . -, .
1.4. . - , , . - , .

 

 

 

22

"- ".

:

1. - .
2. .

- .
, . , - ( . di(s) lemma ). , . - .

.

. , , :
) :

, ; ,   :   p → q; r → q
r
q


, ;
, ;
, . :

,
,

) :

, ; , D   :   p → q; r → s
C r
B D q s


, ;
- ;
- .
:

, ,
, .
.
, , .

2. :

) :

, ; ,   :   p > q; p > r
- -C q r
, - p

, ;
, . ;
, .

:

, ,
,

) :

, ; , D   :   p > q; r > s
- -D q s
, - - p r


, ;
;
.
:

, ,
,
, .

:

1. - :
1.1. - , . , . , - . . .

 

1.2. , , - , . , . . .

 

1.3. - , , , , . , . , . . .

1.4. , , , - . , , . . .

 

 

 

23

" ".

:

1. .
2. . .
3. .

.
, , . , , . , , , . . , , , . , , .

:

) ;

) (, , ). , , .

, , . . , ( -) . , , . . . . .

:
1- : S1 ( )
2- : S2 ( )
3- : S3 ( )
n- : Sn ( )
S1, S2, S3,, Sn S.
S ( ) P.

. , , , . . , , . . , , :

(S1) (P)
(S2) (P)
(S3) (P)
S1, S2, S3 (S)
(S) (P)

, ( , .). , , , . , , :

(S1) (P)
(S2) (P)
(S3) (P)
.
n- (Sn) (P)
.  

. . ( ), . , .

 

. .

- , .

1- S(S1) ( )
2- S(S2) ( )
3- S(S3) ( )
30- S(S30) ( )
S1, S2, S3,,S30 S
S ( )

, , , , .. : N . , , . , , (, ). , , . . . , . .

2. , , .

1- S(S1) ( )
2- S(S2) ( )
3- S(S3) ( )
n- S(Sn) ( )
S1, S2, S3,,Sn S
S ( ) P

, - . , - , . , , , . . , , . , , , , , , .

, . , , , . , . , ( ) .





:


: 2016-11-12; !; : 473 |


:

:

.
==> ...

978 - | 844 -


© 2015-2024 lektsii.org - -

: 0.027 .