Логіка (Хоменко)
.pdf1.9.B # # , ?
1.10.B : ?
1.11.B : ?
1.12.B / ## $ #-" ?
1.13.K ?
1.14.B $ # ?
1.14.B $ ?
1.15.B $ ?
2. % *. -’ .
8 % ’ % :
% + & $’ , & :
1.C’ &’: , ’ $ .
2., : $ $ -(<), (E), -$ ( ), ( ).
# ": O $ «) -
». : &’: — « -», — « », ’ — « ».
= $ $ (<). $" %: 2.1. \ #" : # :#.
2.2.P / .
2.3.% " : .
2.4.P- #" : #.
2.5.( : .
2.6.% .
2.7.— / .
2.8.# / .
2.9.; # — .
2.10.% $ — / .
2.11.P- $ — .
2.12.F — # .
2.13.< — .
|
111 |
2.14.# — .
2.15.R — .
3.% , % * & - .
3.1.\ , " .
3.2.% !
3.3.: #.
3.4.& .
3.5.:.
3.6.; ’ .
3.7." F — ( .
3.8.«B , » (J. O ).
3.9.« :» ( . $).
3.10.«F , & , , » ( . R -
).
3.11.«; $ » (> " ).
3.12.«B $
, |
: ?» (> " ). |
3.13. ; |
/ / & , |
. |
|
3.14.« # # // ’ » (J. O ).
3.15.«! # $» ( . ).
4. -* . = ?
4.1.\ & # -.
4.2.: .
4.3.; # — .
4.4.«; » (J. P ).
4.5.B + / , : & .
4.6.F #& # .
4.7.«C # ?» — < » (!. ( ).
112 |
5 |
4.8.F " — &-> & .
4.9.% - $ $ && ' .
4.10.B + :/ & , / - , " , .
5.% * « * » « % * % » * -% .
6.= %’ ( ) %-:
6.1.& & .
6.2.: ' ' & #-' .
6.3.& & " && .
6.4.& : & & - .
6.5.; & & ( : , & @ .
6.6.<& + , & + .
6.7.<& , & .
6.8.C $ & & &-$.
6.9.O & #: :# # # & # &.
6.10.F & : & , & : .
7. ! % - *.
8 % ’ % :
% + & # , & :
1. # , +# .
|
113 |
2. C’ , #" , +# .
# ": O # « # , #». = #: « # », «».
# : # « & ». Y : «- / ’# " ».
% / , - # « ». G :« ».
$" %: 7.1. :, +.
7.2.— # , + : .
7.3.!# , — + .
7.4.% & & / & .
7.5.; / , / .
7.6.«P - » ( ).
7.7.« & , & - » (> " ).
7.8.«B & " & & , # & / &$ » (> & ).
7.9.«@ , & » ( ).
7.10. «C :, : , " :» ( . R ).
8. % * ?
8.1. «; $ & $ $, &- , + & & , + & $, &» (< ).
8.2. - :, + & & -. = (-"F $# : «O
114 |
5 |
+ & / & #, » ( 275 ( ( F «J $ »).
8.3. (-" -F / / , + : " , &- : ; : " - ; " ;: #... ( 324 ( ( F « , + - / # »).
9. % , % * & - * . -’ .
9.1.<. & .
9.2.$.
9.3.B $#, + : .
9.4.; " : " .
9.5.C & : .
9.6.C$ & , + " .
9.7.; $ & .
9.8.& : & #.
9.9.B , & /, & , :.
9.10.% .
9.11.C$ .
9.12.— .
9.13.; " / .
9.14.J & : $ .
9.15.P & ’ :.
9.16., + : .
9.17.« $ &- :» ( . %$ ).
9.18.«; :! ; $ & ! ;!» ( . ).
9.19.«P — , » ( . R ).
9.20.# , $# .
|
115 |
5.3.. ! "
1.! "3 % .
1.1.L : $ ?
1.2.O $ -: $ - ; ; : ; ; ,' # / $ ; -$ .
1.3.K # , &? L $ # & # ?
1.4.K " ?
1.5.K : -# ?
1.6.% # ? L - # # ?
1.7.% ? L - # # ?
1.8.B $ # ?
1.9.B $ ?
1.10.% . ; -& " .
1.11.L # $ ,?
1.12.L # , - , # ?
1.13.O -: ; -
; .
1.14.K / $ - # ? B $ , : - # # & & #?
1.15.K / $ - # ? B $ , : #-?
116 |
5 |
1.16.K / ? B$ , : / -$ # ?
1.17.O #: #- ; , + ;, : " # .
1.18.L $ -# -# ?
1.19.L $ ?
1.20.B : ?
1.21.B " -’ $ & #?
1.22.B : ?
1.23.L : $ « - » « & »?
1.24.L $ & #?
1.25.L $ & -
#?
2. ! % .
8 % ’ % :
% + & $’ , & :
1.C’ $ ( &’: ,’ ).
2.$ .
3.C ' ( ) $ .
4.$ .
# ": O $ «! '#». : &’: —
«: |
», — |
« & », |
’ — « |
:». |
|
= $ ( ). Y - |
||
' ( ) : #: «% S |
: O». |
|
F " $ &’: — (S–),— (O+).
|
117 |
$" %: 2.1. ( — " F .
2.2.($ # .
2.3.% # — .
2.4.P- $.
2.5.; — .
2.6.= — / .
2.7.% $.
2.8.F # .
2.9.\ & : .
2.10.P- : .
2.11.% : $.
2.12.% : .
2.13.\ $ $ & & .
2.14.P- : #.
2.15.% — .
3.% , % % & '*. #"3 *.
3.1..
3.2.(p q) .
3.3.q p.
3.4.(p q) (q p).
3.5.(p q).
3.6.( p q).
3.7.p q.
3.8.(p q) ( p q).
3.9.(p (p q)) p.
3.10.(p (p q) p.
4.% , % % & ' - . #"3 *.
4.1.x (P(x) R(x)).
4.2.x (P(x) R(x)) { .
4.3.x (P(x) { R(x)).
4.4.x (P(x) R(x)).
4.5.P( ) R(x).
4.6.P( , b).
4.7.x (P(x) n R(x)) { (a).
4.8.P(x) ~R(a).
118 |
5 |
4.9.(P(~x) R(x)) { ~ .
4.10.x (F x, c).
5. -* '- .
8 % ’ % :
F ' , : - # , $ $ - , # ' , & .
1.F ' (~<) &/ $ ~.
2.F ' (< ), (< ), (< ), (< ), (< ) & , - , $ , , , , ,$ < .
# ": O ' ((p q) ( p q)). G $(< ),
< — (p q);— ( p q).
= :, + -
' : — - " ( ).
$" %: 5.1. q.
5.2.(p q) q.
5.3.(p q) (q p).
5.4.(p q).
5.5.(p (p q)) ( p q).
5.6.p (( q p) ( p q)).
5.7.(p q) ( p q).
5.8.(p (p q)) p.
5.9.(p (p q)) p.
5.10.(p (p ~q)) n (p ~q).
6. 4 % % -*.
|
119 |
8 % ’ % :
% + & ' # , &' , ## , & :
1.# ,# , - " .
2.C’ , # -" , +# . .
3.C ' # .
# ": O # « «A:» # «"-» «@ » , «E » -; ».
= # , ’ :
« » : — p.
« » : — q.
«C » : — s.
«H » / " — rB # — z.
% $ #: «…, …», «… # …»
«… …». G #« " », « ’# " » « ’#- " ».
C / ' # : ((p q) s) (r z).
$" %: 6.1. C / /.
6.2.! $ &’# .
6.3.> "# $.
6.4.B + & , & - / , & .
6.5.< / , & & .
6.6.; , & -.
6.7.B + & , $ "# .
120 |
5 |