Хоменко І.В. Логіка: теорія та практика
Подождите немного. Документ загружается.
141
35.15. L : " # #, # : ?
35.16. & P -
?
35.17. J$ & -
" ?
35.18. L , + — " ?
35.19. B &" & -
?
35.20. B & « »?
5.4. . &
1. ! "3 %.
1.1. B # «$»
"?
1.2. L $ " # -
$ #: «( -
/ %, & — »; «B-
+ " : ", #
»?
1.3. L $ # #-
?
1.4. L : "
#?
1.5. L : " # -
?
1.6. B $ : :
<. ! # : / -
.
P. ! : / -
#.
. J$ # # #
$ $ .
1.7. L $#
?
1.8. L : #
?
5
142
1.9. L -
# : / @@ .?
1.10. ; ,
#. K :?
1.11. K de dicto de re?
1.12. K $ ? @ : ' -
$ ?
1.13. B «$ » «
»?
1.14. B # «$ »
"?
1.15. K / $ $ ?
1.16. B $ -
#, # # $
?
1.17. L :
#?
1.18. B # ( ,
, ) # "?
1.19. B # -
# ' ?
1.20. -
(, ’#", ’#", ", -
"); , ;
, , ,
.
2. 4% % -
*, * -
1 .
2.1. L & $.
2.2. B — &, — .
2.3. K , & / " &.
2.4. «, : $ $, &-
:, , : &$ & &,
&:» (B L$).
2.5. «= # $ #,
, /# +, # -
+» (=").
143
2.6. «@ , :
/, / #»
().
2.7. «!/ / / $
» (('").
2.8. «!/ $ , &’:
» (Y.-. >).
2.9. «@ : , ;
, » ().
2.10. # , :
& ,
, -
, & ".
2.11. «B+ & # &$ &-
# #, + & &, -
…, — , + -
#&» (>. ##).
2.12. « + $ #, & "
/» (!. F).
2.13. «B $#, $#, & $»
(.).
2.14. «B+ & & &-
$ & & # #
" : -
, $ -
» ( . 1 91 ( F).
2.15. «%$ , & ,
F / , -
" , &-
, $, '"
&"… :…» ( 111 (
F).
3. 4% % -
, *
1 .
3.1. @ #& .
3.2. ; #& .
3.3. @ #& &.
5
144
3.4. @ #&.
3.5. @ #& & &/, $ &-.
3.6. U #, #& &.
3.7. F .
3.8. .
3.9. <& $ #& -&, $ #&
, & #& , #& .
3.10. &# ,
&# ,
&# .
3.11. ; , .
3.12. 5 &/ 4, / 6.
3.13. ; &, + &+.
3.14. F, : , $
.
3.15. \ ( : -
.
4. * % -
* %
'% , * -
1 .
4.1. P- $.
4.2. ($ — .
4.3. ($ & .
4.4. ($ # .
4.5. " .
4.6. F O — /.
4.7. ; # .
4.8. ; &: $ .
4.9. ($ .
4.10. %& — .
5. * % -
%
* '% , * -
1 .
5.1. U , /# &.
5.2. % '"#.
145
5.3. % / #.
5.4. !# &/ .
5.5. &/ : +.
5.6. ; &: .
5.7. !/ # &.
5.8. % # .
5.9. % # — .
5.10. % .
6. L $ & # ", ::
#, + / # —
, &?
7. , + — . K $
":
<. a o (q s);
P. (a q) o s;
. (q s) o ( s)?
8. # o q , l q &.
B q o ?
9. # l q . K $
a l aq a l q?
10. # l q &. B
a l aq l aq?
11. # l q &. K $
a aq?
12. # q s . K $ -
( l q) o s ( o q) s?
13. F /* % (% -
, % , % -
*) ?
13.1. , ,
;, / , $-
: «- ! ;:
5
146
+ :/ /
!»
%$ : «J? F $ -
!»
; " ' : «; , &, +
:! ( / #!»
«% #, — $, — &
: , /? B $
?»
E' : «B+ : ,
/, + :, !»
13.2. % " /
: «B ».
: «@ ?».
J" : « !».
L " / ,
. $
: «@ ?».
J" : « !».
«B $ , — $ ", — /
?».
« , $!», — ".
13.3. « :# & -
, &$# P: (&-
/), : + &-
, , ? P
.
/ & $ -
: «< :/ ?»
— %$ & #. — P:.
F $ . ; " .
< P: $: , + :.
— $? — /# J/.
— , &, /, —
&.
$ , P: &
, + "» (O -
[ " @VIII — @I@ . —
J., 1990. — . 13—15.).
147
13.4. / P&: «$-
, P&, /, + -
" ?».
— ; /, P&.
— B " ? — /.
— < , — P&, — + "
" , + $ /-
? ;!».
13.5. $ #, +
: .
— / ? — .
— ;, , — .
— < &? — .
— $ , — .
— ;: , — , +-
/ ":, / & / .
13.6. ,
, &$# -& &/
, :
— , ’ &.
;# $ ,
/ :
— < , + ?
— , …
13.7. F J: «J+ » :
.
" J. … < :-
"#. B ,
&, +& ,
# & .
)$ (('. C
/?
" J. ;, , /.
F ''. : ?
" J. ;, /, .
F ''. $: & , & /.
" J. L?
)$ ((' P , $
/ # & /.
5
148
" J. ; / # & /?
)$ (('. ; /, . F, + :
#, /, + : / — .
13.8. F " !.( «< C-
» P !" : < «$, -
$ #».
— ( #, #… &…
— <& +? — <, #,
!" .
— <&… #…
13.9. >, ( —&.)
<' H: «L <', + : -
# C, — " &?». Y : «». —
«< $ " <' C, H:!». -
$ ". — «$, : &».
C " <; -
, $, + : -
: <', , &, &, +
$ . -
/ (% !. « $,
''»).
13.10. J & ,
/ ’#:
— L : &?
— , P. P/ P!
— ? — J
". >& :" /: ":# #.
J & — — &# , -
# $ $, -
. ,
, . #, + P, / — + .
— %, , + " :?
— , # :"#, + -
. &
", " & . , + ...
14. ; & & .
", +& & #,
— , /. -
149
& #.
@ / , # , +
$ "#, + $
& . # & -
": " "#
& # .
" &/ .
& : " %",
" : ", %",
? = % %’%
* " %?
15. F & ? ! -
% %.
15.1. " : /# #, -
. : + "# ,
$ " , + " : /# #.
15.2. «!# $, #-
, , :
, $» (J-").
15.3. «B+ # ,
$ ", + , »
(R B).
15.4. «B+ & , ,
+ , : » (E).
15.5. « — , — »
(>).
16. % %-
, * .
«; : , $: -
$, + " & & &
, + " ;.».
17. G % * *
, 1" % % *
% %.
17.1. a(p q);
17.2. a((p q) ar;
5
150
17.3. a(p (aq ar));
17.4. a((p q) r) o a (p r).
18. 0 %/* "% %
. - * * -
% %.
18.1. p o (q r);
18.2. p l (q o r);
18.3. p o (q l r);
18.4. (p l q) o (p o q).
19. * , 1"
%* % %.
19.1. (p o ) o ;
19.2. (p q) (ap q);
19.3. (p q) (p aq);
19.4. a(p q) o ((p q) q).
20. * , 1"
%* , *
* % %, ’ %’.
20.1. ((p o q) (qo )) o (p l q);
20.2. (p
q) o (p l q);
20.3. ((p o q) (q o ar)) o (r o ap);
20.4. ((p l q) (aq l a)) o ((p
q) (p
q)).
21. # p q r "#
/ &.
22. % $: «B+ #
, $ ».
23. %, + / $ -
# : ', -
, .
24. & #,
p q, # ’#"# -
.