Logika-Homenko
.pdf
— ,. #$ $ # #-.
*$ — ,$ # # $ -# $ ! .
* + $ $ -$ $ . / , +$ $ , F +$ + , ( $ -, F + $ - + .
-& ( $ $ ( % , + + ( "$ . $ ( .
- $ $:
;
- ;
- ;
-.
|
|
' ( |
$ - |
||||||
|
|
$ : |
»; |
||||||
|
|
|
|
|
$+ « |
||||
|
|
|
|
|
$+ « |
|
(- |
||
|
|
». |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
6.2. ' |
' |
|
|
|
|||||
|
|
|
|
|
|
||||
|
|
|
|
/ — $ |
|||||
|
|
||||||||
& |
|
|
|
, # |
|
|
$ - |
||
& |
|
|
|
!. |
|
|
|
||
|
|
|
|
|
|
||||
6
|
161 |
$ 1. |
, " |
|
" |
C ; ’ , . C ; , . ( , ; ’ , .
1&--&-
- — $ -, # # — $-! , " #— $ - ! . < #$ .
* + ( ) - $:
«modus ponens», « ( »;
«modus tollens», « ».
|
«;odus ponens», ) « ! » |
|
|
||||||
$ 2. |
|
, |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
C ; ;- ( |
|
, |
- |
||||||
|
(-. |
|
|
|
|
||||
* |
( |
;- . |
|
|
|
||||
( , |
(-. |
|
|
|
|||||
|
«;odus tollens», ) « ! » |
|
|
||||||
$ 3. |
|
, |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
C ; %$ && |
, |
||||||||
( + ( , ; $. |
|
||||||||
: |
|
( + ( , |
; |
||||||
|
$. |
|
|
|
|
|
|||
|
( , |
, ; %$ && |
|
||||||
|
|
. |
|
|
|
|
|
||
' , ; |
, - |
||||||||
- $ - |
|||||||||
, |
- |
. |
|
|
|
|
|||
162 |
6 |
$ 4. |
, |
|
|
$ 5. |
, |
|
|
< $ - $ $ .
2 #- |
|
|
|
C # - |
— |
$ |
|
|
|||||
- |
|
|
|
, |
# # |
|
&- |
|
|
|
#’! ! , " # - |
||
|
|
|
|
— #’! |
||
|
|
|
|
! . < #$ . |
|
|
* + ( ) - -$ :
«modus tollendo ponens», « - - ( » ;
«modus ponendo tollens», « ( - -» .
«Modus tollendo ponens», ) « !- - ! »
< + $- $ :
$ 6. |
|
, |
|
|
|
|
|
$ 7. |
|
, |
|
|
|
|
|
$ 8. |
|
, |
|
|
|
|
|
$ 9. |
|
, |
|
|
|
|
|
|
: M ( : «*) ' - |
||
# ' — ) , ) — $ $ -
6
|
163 |
— , % ' # ! , # )»-( .
#’- |
" . |
: % |
- % , , ; %- - |
, - . % - % .
( , , ; %-, - .
B ; - $ $,$ modus tollendo ponens, ($ , -$ : ’ -! ) ! - .
) ( |
|
. |
|||
) - |
+. |
|
|||
|
( , - |
+. |
|
||
) |
( - |
||||
|
, $ , ’+ |
- |
|||
|
$ |
( ) |
|||
! : ! # ) — , ,% %).
«;odus ponendo tollens», ) « !- -! »
< + $ -- $ .
$ 10. |
|
, |
|
|
|
|
|
$ 11. |
|
, |
|
|
|
|
|
< |
%$ & %$ . |
||
< |
%$ &. |
|
|
( , " %$ .
164 |
6 |
1&- # &-
# , ; modus tollendo ponens -!« (!) ’$ ».
C ; $ $ " (- ) ’+ " + ( ) ’+ " +,$ $ $ -.
$ 12. |
, |
|
|
$ 13. |
, |
|
|
< $ - $ $ .
- # — $ -# $ #-#’! # .
* + - $ |
. |
' , + ’+ |
- |
- + : |
|
( ! );
( ! );
( ) !' ! ).
/ " % + .
B ( :
$ ;
.
# $ + :
;
.
E — ,< + ; ! .
— , < + #$!.
6
|
165 |
# + :
;
.
— , < $ -! . " #$ .
/ — , <( #’! ) !.
/ " " ’- ! " + - $ ( ).& &$ + :
|
|
; |
|
|
; |
;
.
$ 14. |
", ", |
|
" |
|
" ! ! |
+ $+.
C ; — " $ , - . C ; — " $ % , - .— " $ % .
( , — " .
0
$ 15. C, B D, C D
B : «>) ?». L ! : «/ %), , '; % ),'».
% " , -.
166 |
6 |
C ; , %, $%. C ; , %, ( %. ' .
( , %, $% ( %.
|
|
$ 16. |
|
, ", " |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C ; /. — + , |
- |
||||||||||||
|
|
+ |
|
, - +, & |
|||||||||||
|
|
( $ ’ |
|
|
. |
|
|
||||||||
|
|
/. |
+ |
, |
|
||||||||||
|
|
( |
- +, & ( |
$ |
|||||||||||
|
|
’ |
|
. |
|
|
|
|
|
||||||
|
|
( , /. |
- + . |
|
|
|
|
|
|
||||||
|
|
0 |
|
|
|
|
|
||||||||
|
|
$ 17. |
|
, " D, D |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
" |
|
|
|
|
|||
|
|
C ; |
|
|
|
|
|
(" , |
|
- |
|||||
|
|
|
|
|
. 185 A |
- |
|||||||||
|
|
) & |
; ; |
|
, - |
||||||||||
|
|
|
|
|
. 186 A |
- |
|||||||||
|
|
) & |
. |
|
|
|
|
|
|
|
|
|
|||
|
|
) $ |
- , - |
||||||||||||
|
|
. 185 . 186 A |
|
) & |
. |
|
|||||||||
|
|
( , |
|
( +, - |
|||||||||||
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
6.3. * ' ' |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
||||||||||||
3 - |
|
«% |
. » — $ |
||||||||||||
|
|||||||||||||||
# - |
|
, . |
|
!- |
|||||||||||
|
|
||||||||||||||
& ) «#- |
|
|
.: ! $ |
, + |
# |
|
|||||||||
|
|
! # |
$ ! ' |
|
|||||||||||
' » |
|
$ . |
|
|
|
|
|
|
|
||||||
6
|
167 |
3 -# - & ) «-- »
$ " |
- : |
||
$ 18. |
|
/ 11 |
|
|
|
|
|
) + « % -) » + + « )».
«H - ’- , ’ & ( ; & ? - ? ' ! - ; , ; , ( , -
( ( ; |
- |
& |
- |
||
, |
, ; |
$ |
. |
||
( |
, |
- |
|||
% |
: ( , , , |
|
|||
; ? B , |
|||||
. ( , " |
|
( |
|||
|
. ' , |
|
|||
$ $, ( " » (> 0. *. ; - . — ., 1997. — . 320—321).
« $ ; » — $ -,! .: ! $ , + # #$ ! # $ -! ' $ .
$ " - :
$ 19. |
/ |
|
||||
|
|
|
|
|
|
|
- : «/ % , =. |
- |
. : - |
||||
- . /$ =. - . ' 27 |
||||||
2007 |
|
" . A-. |
||||
*. , ; =. |
. - |
|||||
$+ ; , |
|
|||||
. ( , |
27 |
|||||
2007 A-. # -, ; ; - |
||||||
=. $ . ' , =. |
- |
». |
|
|||
1 # b - « »
168 |
6 |
' |
, $'’ |
|
|
|
|
|||||
|
|
|||||||||
« (+ +<<; (% |
, ) +G< / » — - |
|||||||||
|
, |
+ |
F |
- |
||||||
+ |
, ; |
" - |
||||||||
+ |
+ %$ - |
|||||||||
. |
|
|
|
|
|
|
|
|
|
|
«M(+ +<<; |
-? , » — |
|
- |
|||||||
, $ |
+ |
F - |
||||||||
+ |
, ; " + |
- |
||||||||
+ |
%$ . |
|
|
|||||||
+ ' )(<+ &%,' (-<<; — |
, ( - |
|||||||||
- % |
- |
|||||||||
|
. |
|
|
|
|
|
|
|
|
|
+ ,;&+ |
+ ' )(<+ &%,' (-<<; — |
, |
||||||||
- - |
||||||||||
+ $ |
. |
|
|
|
|
|
||||
,;&+ |
+ ' )(<+ &%,' (-<<; — |
, - |
||||||||
- . |
|
|
|
|||||||
: % (-'-+/ ,)=<+ |
&%,' (-<<; — |
|
|
|||||||
|
, |
- ’+ |
- |
|||||||
+ |
, — " |
|||||||||
’+ |
+ |
&$ |
. |
|
||||||
& (<+ &%,' (-<<; — |
, |
|||||||||
|
- |
+ |
- |
|||||||
. |
|
|
|
|
|
|
|
|
|
|
"& (<-'-+/ ,)=<+ &%,' (-<<; — - |
||||||||||
|
, — " - |
|||||||||
+ |
, — " |
|||||||||
|
+ |
&$ |
. |
|
||||||
"& (<-, : % (+ &%,' (-<<; — - ’+ .
6
|
169 |
1. O -'+ + ' )(<+ &%,' (-<<;:
:. |
, ( - |
|||
% |
|
. |
||
M. |
, |
$ ( - |
||
|
|
, $ |
|
. |
. |
, ( - |
|||
% |
( |
? |
|
|
2.) & G + ' )(<% &%,' (-<<; ? ) <+ ,-- () <)&):
:. ' . M. / ?
3.) & G<- :- & / P + ' )(<)0 &%,' (-< ,)&-) ( ?], < (-)) (%, /% <+ :<-<<;:
:. ' . M. / ?
4.) /-,-< L % )<<% :-< ('%( + ' )(< & &%,' (-<<% % )<<% () < (' :
:. ' . M. / ?
5.) & G + ' )(< & &%,' (-<<% ? ) 0)?<% :-< ('):
:. ' . M. / ?
6.) & G<- :- 0+& P + ' )(< / &%,' (-<<; ,)&-) 0)?<)* () < ( ':
:. ' . M. / ?
7. ,;&% + ' )(<% &%,' (-<<; — F+ &%,' (-<<;, ( ;')0:
:. - . M. # + .
. ( + + $ - + .
170 |
6 |