Logika-Homenko
.pdf( P(-<<; — % )<<%. ')& L /%=<+ :<-=+<<;
,+ / () ( P(-<<;:
:. . M. H .
. ( , $ ?
11.):’P<'F%; «p -? q» % )<<-, ,) F & q 0)?<+.
')& L /%=<+ :<-=+<<; :
:. . M. H ?
12.) ( P(-<<; - q <+ L < =-< % )<<)- &), -+ E0<; ):’P<'F%; % )<<-. " ;' & &) % :--
( P =<)' «-? »:
:. / ’+ " . M. ’+ " .
. ( , ’+ " ?
13. '- <+ () ( P(-<<; '- +<+ : |
( 0 ,- |
|
)0. ')& =<)' & E0 ,+?- L <-), J ? - |
|
|
5 |
||
'-:-), J ( <) ?) (- % )<<%: |
|
|
:. A ’+ "-+. |
|
|
M. / + ’+ "-+. |
|
|
. "-+? |
|
|
14. '- <+ () ( P(-<<; '- +<+ : |
( 0 ,- |
|
)0. ')& =<)' & E0 ,+?- L <-), J ? - |
|
|
'-:-), J 0 =- ? <+ : <)0 % )<<+: |
|
|
:. A ’+ "-+. |
|
|
M. / + ’+ "-+. |
|
|
. + ’+ "-+? |
|
|
15. '- <+ () ( P(-<<; '- +<+ : |
( 0 ,- |
|
)0. ')& =<)' & E0 ,+?- L <-), J ? - '-:-), J % ') <+ : <)0 % )<<+:
:. A ’+ "-+.
M. / + ’+ "-+. . + ’+ "-+?
16. ) & G+ ? ) 0)?< P %& %'-F%;, ;'- &-L 0)?- <)* -< +F+ +< :
:. ' . M. / ?
& ! ; |
151 |
17.) & G+ ? ) 0)?< P %& %'-F%;, ;'- &-L 0)?- <)* ' < +'(+< :
:. ' . M. / ?
18.) & G+ ? ) % )<< P %& %'-F%;, ;'- &-L 0)?- <)* ' < +'(+< :
:. ' . M. / ?
19.) & G+ ? ) % )<< P +'(%(-+<F%;, '- +<- : ( 0 () ( P(-< , ;'J +,>+ () ( P(-<<; % )<<+, - :-+,+=+<<; , / / 0)?<+:
:. ' . M. / ?
20.M-' < G< % (),-G-P :- & / P
0+&):
:. * *. M. * (. . * *.
21.M-' < , ),%==; (),-G-P :- & / P
0+&):
:. * *. M. * *. . (* *).
22.M-' < ()' P=+< / ,+ / (),-G-P :- -
& / P 0+&):
:. * *. M. * *. . (* *).
23.'% & -< % (0 ; '- -+ )=<)0 () ( P(-< :
:. /$ , ( , . M. /$ , , . . ( , , ?
24.'% & -< % (0 ; '- +& ,- - <)0 () ( P(-< :
:. # ( , ( , , .
M. /$ , ( , . . # +, ; ; + , ; ?
152 |
5 |
25. '% & -< % (0 ; |
'- + % +&%=<)0 |
|
() ( P(-< : |
|
|
:. # +, +, + . |
|
|
M. , $ |
, ( . |
|
. B , |
, |
? |
26.'% & -< % (0 ; '- + < )=<)0 () ( P(-< :
:. B , , ’ . M. /$ , ( , .
. , , ?
27.% G+<<; ? -;' / :-)-<<; +,+ ?-=-L (,-0 (-<<;:
:. |
|
. |
M. |
|
. |
. |
. |
|
28. /%=< ' ,+' <)&) <-:)(-P :-)-<<;:
:. / ( , +
$ - |
|
. |
M. $ - |
|
+ . |
. ) $ ( + $ , ; -.
29. « + ,-() <- (% (% »» - «0)?<- (% -
(% » — F+ )< <%&):
:. ' . M. / .
30. ,-() <- (% (% & G+ ? ):
:. +. M. +.
. + +.
'
1. -* + /%=<)* -<-%: G+< , ? ():<-= +
E0<P , ' , - () , :-)>% /%=< D ,& ( 0+& ).
& ! ; |
153 |
5
|
* ( |
« # ». |
||||
|
: ’- — « »; — |
|||||
|
« », ’ — «#». |
|
||||
|
< ( ( . N ! |
|||||
|
($) - +: « S # P». |
|
||||
|
1.1. U +" |
- |
+ -+. |
|||
|
1.2. M % |
|
. |
|
||
|
1.3. /$ |
+ ( . |
||||
|
1.4. U |
|
& |
- . |
||
|
1.5. B |
" - |
. |
|||
|
1.6. ) $ |
H . |
||||
|
1.7. M- +" - +. |
|||||
|
1.8. B |
( . |
||||
|
1.9. A — |
|
|
. |
|
1.10. B .
2. I ,&-%: * + () ( P(-<<;, ? ():<-= + E0-
<P /%=< D ,& , :-( P=) & ( /%') ()- ( P(-<.
* + |
«/ % ) !- - |
||
!, # , |
|||
!». |
|
|
|
< + |
$ $: |
||
«< !- !». |
|
||
«> # ». |
|
||
«> !». |
|
||
|
&$ " |
: p, q, r. |
|
B |
( |
+ |
$ |
$ «% …, …» «… …». G + : « " » « ’+ - " ».
154 |
5 |
# % ! |
+ : (p q) r. |
2.1. / % , |
% . |
2.2. R |
( . |
2.3.B % .
2.4.- +.
2.5.$& ( , + .
2.6.C — , — .
2.7.' ,.
2.8.«H , , » (-" ).
|
2.9. / - |
, |
|
|
$ & - |
||||||||||
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2.10. + |
|
, |
|
$ - |
$ |
|
||||||||
|
|
|
|
& |
|
, |
|
$ |
, |
||||||
|
|
|
|
|
|
, |
|||||||||
|
|
|
|
|
" . |
|
|
|
|
|
|||||
|
3. I ,&-%: * + () ( P(-<<;, ? ():<-= + E0- |
||||||||||||||
|
<P /%=< D ,& , :-( P=) & ( /%') ,+- |
||||||||||||||
|
)'-%(. |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
* |
|
+ |
: |
|
« |
— |
». |
|||||||
|
B $ : «) » |
||||||||||||||
|
«) ». &$ |
|
|||||||||||||
|
R. |
+ |
( |
|
|||||||||||
|
/ |
||||||||||||||
|
(« »). < |
! " & - - |
|||||||||||||
|
|
|
« " ». |
|
|
|
|
||||||||
|
# % |
|
! |
|
|
+ |
: |
||||||||
|
x(P(x) R(x)). |
|
|
|
|
|
|
|
|
|
|
|
|||
|
3.1. — |
% |
. |
|
|
|
|
||||||||
|
3.2. ) - . |
|
|
|
|
|
|
|
|
5
& ! ; |
155 |
3.3.H + $.
3.4.) + % .
3.5.B + ( + .
3.6.) + -& .
3.7./ ; - .
3.8.M- + + .
3.9.B + (- .
3.10.) + + .
4. M- & / P &+ -? )F % )<< % (--
< (% , =) L <-(+ +<% () ( P(-<<; /%=<)&) :-' <-&).
- "+ + , -
|
! : p (q p). |
|
|
|||
|
|
|
|
|
|
|
|
Z :/ |
p |
q |
|
q p |
(q p) |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
/ |
& " ( , |
; |
|
( |
+ - |
, |
|
|
|
, |
|
$ |
|
. |
|
4.1. (p q) \ (q p)
4.2.(p q) ( p q)
4.3.( p q) (q p)
4.4.(p q) ( q p)
4.5.(p q) \ ( p q)
156 |
5 |
4.6.(p (p q)) p
4.7.(p q) (q p)
4.8.(p q) \ ( p q)
4.9.((p q) (q p)) \ (p \ q)
4.10.(p q) (( s) (p (q s)))
5. M’; * +, =) % < L (% < >+<<; /%=< / % -
(-<<; &%G () ( P(-<<;&), ;'% L :-< ('-&) - () < ('-&) <-(+ +<)0 &%,' (-<. ) ,-() <% F%
&%,' (-<<;?
- : «/ % , # $. 0. 3 , #$ ».
! . B " + , $ , -" :
0 — . 0 # $ — q.
! - :
p q
q
#’- - « ’+ - " »:
( p q) p
, - "-& ’+ " & -. B " ’-, - + ( p q) p) q . #- " .
5
& ! ; |
157 |
Z :/ |
|
q |
|
p q |
( p q) p |
(( p q) p) q |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
B ( + |
— . ' - |
|||||||||
, ( ( , ; |
|
( |
||||||||
|
|
- % |
- |
|||||||
|
. < -, ; |
|
|
, |
||||||
- |
. |
|
|
|
|
|
||||
5.1. # % , |
! " . C ; |
|||||||||
! " , ( + $ |
. #- |
|||||||||
. ( , $ |
(- |
|||||||||
+ . |
|
|
|
|
|
|
|
|
|
|
5.2. C ; |
|
|
|
, |
||||||
- |
. ( , |
|
- |
|||||||
|
. |
|
|
|
|
|
|
|
||
5.3. C ’ , ; " , |
|
|||||||||
. |
|
|
|
|
|
|
|
|
|
|
5.4. C < |
, |
- |
||||||||
$ |
A |
& |
|
. C ; |
(- |
|||||
, M . : < |
$ - |
|||||||||
A & |
M . |
|
|
|
|
|
||||
5.5. «R M ( - |
|
; , - |
||||||||
|
$ ( & $ - |
|||||||||
» (6. ; «B ( " »). |
|
|
|
|
|
|
6. ):<-= + () |
<-(+ +<)0 & -<)0 () ( P- |
|
|
(-<. |
|
|
|
* + «/ ! , % |
||
|
» ( ). < + |
- , |
|
|
$ |
« ». |
|
|
6.1. # - |
. |
6.2. +, .
158 |
5 |
6.3.' % - ( .
6.4./ ( ( .
6.5./ ( .
6.6.« ( , ( ( ,
+ |
, |
# " , |
, |
/ + » ( . ).
6.7.«Q +, $ , ; , ;- , ’- » (= ).
6.8.( $ .
6.9.C ; ; , ’ ( .
6.10.M , .
7. -* + /%=<)* -<-%: :-)-< , ? :’; * + E0<P +,+ & ( - () .
|
* |
«0 ! ' - |
|
|
?». N + - ( «0- |
||
|
' ». |
||
|
< |
, |
( , ; - |
|
- ( |
). |
|
|
7.1. +? |
7.2.' " ?
7.3.C ( - ?
7.4. C - ( «A & »?
7.5.C ’ ) & ?
7.6.C ; ( . % ?
7.7.R « ! » B1944 ?
7.8.A A & ?
7.9.C - " ?
7.10./ " $ ?
5
& ! ; |
159 |
Модуль 6
@! "#*!@#/**6
6.1. ' . # 8 ' &
— , ; # ' -.
( : «9 ) ) ) - . 7 . 3 ,) ».
C , $ $, —.
) $ $, ;
( |
, |
|
|||||||
; " ; |
$ , |
||||||||
- |
" &. ' |
, - |
|||||||
|
|
+ |
, |
||||||
( -, |
|
||||||||
|
, |
, - |
|||||||
, &" &. B " - + $ |
|||||||||
F |
|
|
, ; - |
||||||
$ ( |
, , |
- |
|||||||
+ |
. / |
; |
|||||||
+ |
$ |
, - |
|||||||
. |
|
|
|
|
|
|
|
|
|
* + $ :
;
.
160 |
6 |