Logika-Homenko
.pdf
8. + ,;&% |
+ ' )(<% &%,' (-<<; — F+ &%,' (-<- |
<;, ( ;')0: |
|
:. - $ .
M. - -$ .
. ( + + $ - + .
9. 0+&- & (< / &%,' (-<<; &-L -')* ()- / ; :
:., "
"
M., " "
., "
10."& (<-'-+/ ,)=<% &%,' (-<<; &-P :
:. B $ . M. ' $ . . .
11.0+&- modus ponens &-L -')* ()/ ; :
:. ,
M. ,
. ,
12. 0+&- modus tollens &-L -')* ()/ ; :
:. ,
M. ,
. ,
13. : % (-'-+/ ,)=<% &%,' (-<<; &-P :
:. B $ .
M. ' $ . . .
|
171 |
6
14. '% : <-(+ +<)0 0+& <-+G- modus tollendo ponens?
:. ,
M. ,
. ,
15. '% : <-(+ +<)0 0+& <-+G- modus ponendo tollenens?
:. ,
M. ,
. ,
16. '% : <-(+ +<)0 0+& <-+G- , E ' <- , ' )(< E ) +&)?
:., D,
D
M.", D ",
"
. ", ", "
17. '% : <-(+ +<)0 0+& <-+G- '- < E ' < , ' )(< E ) +&)?
:., " D,
"
M., " D,
"
.", D,
"D
18.'% : <-(+ +<)0 0+& <-+G- , E +- , ' )(< E ) +&)?
:., ", "
M., ", "
.", " D, D
172 |
6 |
19. '% : <-(+ +<)0 0+& <-+G- '- < E +- , ' )(< E ) +&)?
:. , " D, D
"
M. , " D, "
D
. , " D, "
D
20. M<-* % 0+& &%,' (-<<; «:(+ +<<; -? , »:
:. /
M. /
. /
21. M<-* % 0+& &%,' (-<<; « (+ +<<; (% ,-
) +G< / »:
:. /
M. /
. /
'
1. +’ 0 ! % ()) ) ) $) $&. 4$5 # ,
& $ %! :
* : «/ , , ». -.
C ; +, +.
C +.
( , +.
! ($) |
- : |
|
p q |
|
|
__ |
|
|
q |
|
|
|
|
173 |
|
|
6
:
«C +» — p; «C +» — q
< $ |
, : |
- |
|||||||||
|
( ( |
). |
|
|
|||||||
1.1. |
( |
|
|||||||||
’- , && ( |
|
- |
|||||||||
( |
" . # , ; ( |
$ - |
|||||||||
( |
’- . |
|
|
|
|
|
|
||||
1.2. C ; |
:. , M. |
|
|||||||||
" . C ; M. |
|
- |
|||||||||
" |
, - . ( , ; - |
||||||||||
|
:. , M. - . |
|
|
|
|
|
|
||||
1.3. C ; |
" % $, |
|
- |
||||||||
|
. C ; |
" — |
+ , |
||||||||
|
|
. ( , " |
|
||||||||
|
. |
|
|
|
|
|
|||||
1.4./. $ , , ; &$ .
1.5.C ; $ % ,’ . C ;
$ % , |
- |
||||||||
|
+. : |
’ |
|||||||
|
- +. |
|
|
||||||
1.6. M |
|||||||||
! $ |
18 % |
|
- |
||||||
" $ |
, - |
- |
|||||||
% . |
: «C ; - % , |
||||||||
% |
$ |
|
, |
( |
|||||
& % . C ; % , - |
|||||||||
% ( |
|
, |
- ». |
||||||
1.7. «' ( %, |
( ; , - |
||||||||
|
|
- " $, |
|||||||
$, + . , |
;- |
||||||||
$, ( |
+ " $, |
|
|||||||
$, + » (A * « % »).
174 |
6 |
1.8.«L ! ( + , ; % + , ( , ; % » (' ).
1.9.« ( , ! , ; " -
- , $ -
|
" , &$ % , - |
&$ , - |
|
|
: , ; - ; , ; - |
|
- &&. : , ; " -, - : " |
|
, ( + , |
- ( » (5 « A ! |
|
|
»). |
1.10. «) ( % , , J H : «/ , ; ", ,. - (, ; $ - , $ . C?
—R $! — .
—/- .$» (*. >-+ . «# J H »).
6
|
175 |
|
|
Модуль 7
/# G*
!@#/**6
7.1. 7 & 8 8 ' &. # 8 ' &
$ . — ,; # - ' , '-$;.
# ’ ( -! $ , - + ! $. ) ’ " $$ (+ $ +.
# + $ |
|
( |
|||
|
. / |
$ |
|||
, $ |
++ $ |
|
|
||
, |
|
- |
|||
( + $ |
|
|
. |
||
$ + (-) $ + % & .
< |
-, ; $ |
$, - |
$ |
-+ $+, $ |
( |
, $ .
1. : — , M — , O — .
: , M , O — & . ( , & — .
2. — , — , L - " — .
, , L " — $ - & . ( , $ - & — .
176 |
7 |
% , |
|
-+ $+. |
|||||||||
% , |
$ |
, |
|||||||||
% |
|
, |
|||||||||
— $ . B |
, |
&- |
|||||||||
— , #$ T + & |
, |
||||||||||
|
|
- |
. < , |
, |
|
, |
|||||
M , |
. |
|
|
|
|
|
|
|
|||
( , |
|
$ |
, - |
||||||||
+ |
|
, |
$ - |
||||||||
|
$ |
|
|
- |
- |
||||||
. |
$ |
$, , - |
|||||||||
, $.%$ ( + - % F .
* + $ . -
|
$: |
; |
|
|
|
|
-+. |
|
7.2. ' . |
|
||
# 8 ' & |
|
||
|
|
|
|
|
|
> — $ $ . - |
|
|
|||
- |
|
||
&- |
|
, # " !! $ # $ |
|
|
|
$ . |
$ $ |
|
# |
# $ $ - |
|
|
|
. |
|
' « " » $ |
|
|
«inductio» - « |
|
». |
|
, - , - |
|
. ) $ $( ) , —.
7
$ . |
177 |
