Логіка (Хоменко)
.pdf
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 : #?
|
141 |
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.«= # $ # ,, / # + , # -+ » (= " ).
142 |
5 |
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.@ #& & .
|
143 |
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.% ' " #.
144 |
5 |
5.3.% / #.
5.4.!# & / .
5.5.& / : + .
5.6.; & : .
5.7.! / # & .
5.8.% # .
5.9.% # — .
5.10.% .
6. L $ & # " , : :# , + / # —, & ?
7. , + — . K $" :
<.(q s); P. ( q) s;
. (q s) ( s)?
8.# q , q & . B q ?
9.# q . K $q q?
10. # q & . Bq q?
11.# q & . K $q?
12.# q s . K $ -( q) s ( q) s?
13.F / * % (% - , % , % - * ) ?
13.1., , ; , / , $ - : « - ! ; :
|
145 |
+ : / /!»
%$ : «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.).
146 |
5 |
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 , $/ # & / .
|
147 |
" 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. ; & & . " , + & & #,— , / . -
148 |
5 |
& #. @ / , # , +$ " #, + $ & . # & -" : " " # & # .
" & / .
& : " %" ," : " , %" ,? = % % ’ % * " % ?
15.F & ? ! -% % .
15.1." : / # #, -. : + "# ,$ " , + " : / # #.
15.2.«!# $ , #-, , : , $ » (J-" ).
15.3.«B + # ,$ " , + , » (R B ).
15.4.«B + & , , + , : » (E ).
15.5.« — , — » (> ).
16.% % - , * .
«; : , $: -$ , + " & & &, + " ;.».
17.G % * * , 1 " % % * % % .
17.1.(p q);
17.2.((p q) r;
|
149 |
17.3.(p ( q r));
17.4.((p q) r) (p r).
18.0 % / * " % % . - * * - % % .
18.1.p (q r);
18.2.p (q r);
18.3.p (q r);
18.4.(p q) (p q).
19.* , 1 "% * % % .
19.1.(p ) ;
19.2.(p q) ( p q);
19.3.(p q) (p q);
19.4.(p q) ((p q) q).
20. * , 1 "% * , *
* % % , ’ %’ .
20.1. ((p q) (q )) (p q);
20.2. (p q) (p q);
20.3. ((p q) (q r)) (r p);
20.4. ((p q) ( q )) ((p q) (p q)).
21. # p q r " # / & .
22. % $ : «B + # , $ ». 23. % , + / $ - # : ' , -, .
24. & # , p q, # ’# " # -.
150 |
5 |