Логіка (Хоменко)
.pdf28. , & % .
8 % ’ % :
% + & , : # -#, & :
1.H $ # .
2.& ' &- "# . B + & " : , '& # « », - # , # #. B + : — # -#.
# ": O # : «/ , A », «! , # A -», «A , ! # / # #».
H : .
/ # # : ' q ~r. % : ~p r. : ~r (p q).
& : " ' & "# - .
Z |
p |
q |
r |
~p |
~r |
p q |
q ~r |
~p r |
~r (p q) |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C " : & " , + $ ##, & " -
|
131 |
: (6), ' , # , & # « ».
$" %: 28.1.
<. <& & , & , + >& , & .
P. B + & , >& . B + & , >& .
28.2.
<.B + " " , & -"# .
P. B + " : " , - # " . . B & -"# , # -" .
28.3.
<.B + " : &$: , & : " , & -+ # .
P. ( " $: , : " $ - # .
. B + $: , "
$: , & " :.
>.<& + # , & $# " .
28.4.
<. ( & , & & # .
P. B + & & # ,$ / & .
. B + $ / & ,& .
>.B + & ,& .
^. J & & -.
132 |
5 |
29. 7 / ( , - , ) % * - ?
29.1.
<.B + , & . P. — , & - .
29.2.
<., : :, + & & $- .
P. , : $ , $ & + . 29.3.
<. ; — # , , + & .
P. ; : # # #, : -, + & .
30. *, % * -.
8 % ’ % :
% + & , : # -, & :
1.H $ # .
2.& ' &- "# . B + ' & #&, # , + # : .
# ": O # : « #$ -# $ , $ », «H - , #$ #$ # - $ ».
H : .
/ # # : ' p q. % : ~(~p ~q).
|
133 |
& : & "# .
b |
p |
q |
~p |
~q |
~p ~q |
p q |
~(~p ~q). |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B & & " , '- # ' , + $# -$ # , # . $ , - # .
$" %: 30.1.
<."# , & " ' . P. "# & & " ' .
. ; , + " : & &-" ' .
>. "# & " ' , &" : & " ' .
^. B + & " ' , "# . 30.2.
<.B + " : " , & - .
P. ; " " :, & & .
.; " " :, & & . >. ; " " :, . 30.3.
<. p{ (q { r).
P. (p { q) (p { r).
.(p q) { r.
>. (p { r) (q { r). ^. p { (q r).
31. -’ , & / -, & %
134 |
5 |
*. F & -* ?
8 % ’ % :
% + & " , & :
1.' ( ) .
2.’# " # ' , + # -.
3., : " : ’# "' , : - . B + — , : , + — , .
# ": J : : «, # . D . * , -# ».
' .
(p q) { r ~r
_________
p q
:
@ — p. = — q. D — r.
C’: : ' , + $# - , « ’# " »:
((p q) { r) ~r
, : " : ’# " ' ' , + : . % " ’ : , :
(((p q) { r) ~r) { ( p q)
. C : & " - .
|
135 |
b |
p |
q |
r |
p |
q |
~r |
p q |
(p q){r |
((p q){r) ~r |
p q |
(((p q){r)~r) { ( p q) |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
H : . , $$, + $ -: / . = :, + & .
$" %: 31.1. C , & ' " . B + & ' " , $# - . C & . $ , -$# .
31.2.B + :, . $ ,.
31.3.B & ’ , : " ,& . < $ / .
31.4.B & = & & & , -& ( . B &
& & $, & P . < =( P .
31.5. B + ( : , ! . ( : & % " . B +% " , > /
136 |
5 |
% . < > / %-. $ , ! .
31.6. B + " + -, & ; +" + , -/ . < -:. $ , -" + ,.
31.7.$ & -: , + & ,& , " " . (. & " " , - $ & : .
31.8.B + <. ., & . & & " #, & <. . B + . & & " #, <. . & -. B + & , & . & & " #, & <. . $ , . & & " #.
31.9.B + / - , & & - & . B + , & $ . B + & $ -/ , & - & . $ , .
31.10.B + : , & : . = & . - $ , : .
31.11.B + " ,. J . $ , " -& .
31.12.B + , :; - : ; $ , :.
31.13.B + " , . B + " , - . J / . $ , " .
31.14.B + , -& #; + , -
|
137 |
; -; $ , + ,.
31.15. ; & ( " , & " ; ( " ; $ , -" .
32. ! * *. #"3 - *.
32.1. «( , $#, + ( ' - » (( ).
32.2. «G & , + & $, $, + & » ( -" ).
32.3.«; $ » (> " ).
32.4.«J $ , : » (H. P ).
32.5.«B $#, + + — » (E ).
32.6.«L & : , & : » ( ).
32.7.; $ , + P :, - : , + :» (\ ! & # : ).
32.8.«K & , & , + , - : , : " » ( ).
32.9.«B # / , + ,
/ |
#, + " |
, |
» (P. ). |
32.10.«J $ -/ &-» (!. R ).
32.11.«!#& $ , & &$ , $, $:
$ , $: » (!. R ).
32.12.«; & , + & & + + / # » ( ).
32.13.«K & & #, & , + & , + : , & &’: » (> -).
32.14.«B # , + #» ( ).
138 |
5 |
32.15.«J$, $ $ ,
# , C " , ,
; # ! ».
( . ).
33.' % *.
33.1.B #?
33.2.% ?
33.3.L J. P «J J »?
33.4.B # ' ?
33.5.@ & J ?
33.6.& & ?
33.7.@ : ' ?
33.8.B ?
33.9.L / " $ P / ?
33.10.B «% » (( ) — R (% " )?
34.! % %- .
8 % ’ % :
% + & ,& :
1. C’ .
2. .
# ": O «? - ?». Y # : # « -:».
= , : ,: & # .
$" %: 34.1. L : ?
34.2.! : , ?
34.3.@ :?
|
139 |
34.4.@ , , + C & : ?
34.5.@ + ?
34.6.@ ?
34.7.L #?
34.8.J$ , + ?
34.9.L : ?
34.10.J$ $ & J# -?
34.11.K $ + P-?
34.12.( : , :# #$#?
34.13.L < ?
34.14.:/ ?
34.15.( & P ?
35. F & % ? #"3 *.
35.1.#?
35.2." ?
35.3.B $ : - ?
35.4.B : & $ «(-" R - »?
35.5.B ’ F ?
35.6.B + $ . / ?
35.7.L ' -1944 " ?
35.8.( & ( ?
35.9.B & : " ?
35.10.; " ?
35.11.« » « » ?
35.12.L & & F ’ ?
35.13.L & & ?
35.14.L $ P - , & ?
140 |
5 |