Logika-Homenko
.pdf; - , , -, .
: $ + & : "+ + «».
* , , + : «6-$ ) )». ) "
: |
, $ . ' |
- |
" + . - |
+ (-, ; " - + , - .
) ’ " : (
! |
" % + - |
||||||
% -. B + |
|||||||
|
- ( . |
||||||
) XX . " : + |
|||||||
|
|
" |
" . M |
||||
|
|
|
, , « » «$ - |
||||
», ; % |
( |
, - |
|||||
|
" " : « |
», «$» « |
»; |
||||
« |
», «$» « »). L |
- |
& ( + <- '-+- ()=- (1878—1956). %$, $ -: & . N " - — «*-! ».
A & ,+ ( !-
|
; |
— |
||
&" |
& , ! & |
- |
||
, + :+< $,-+, (1881—1966). |
|
|||
, |
( + |
+ |
||
, % + |
- |
|||
|
|
%$ |
$ + . |
|
5
& ! ; |
131 |
5.7. # 8 9 & ' < C '
-" &
) " ++ % &
|
( + |
: |
+; |
||
|
% |
|
& |
|
|
|
% |
|
& |
$ |
+. |
& ' < # ! —' ; ! , ; .-$ . #-$ ! , + < !.
$ ; $ ! -# !.
|
|
& ' < # . ! — |
||||||||||
|
|
|||||||||||
|
|
' ; ! , ; .- |
||||||||||
|
|
. $ |
. #- |
|||||||||
|
|
$ ! , + |
< |
!. |
||||||||
|
|
$ ; $ ! - |
||||||||||
|
|
# . !. |
|
|
|
|
|
|
||||
|
, - + |
|
, (- |
|||||||||
+ " |
. B " |
|||||||||||
"+ |
|
|||||||||||
"$ + . |
|
|
|
|
|
|
|
|
||||
|
|
C ; " " |
$ |
, |
||||||||
( ( $ + |
- |
- |
||||||||||
|
« », " + |
- |
||||||||||
|
+. C ; , + |
- |
- |
|||||||||
, , |
|
|
+. |
|
||||||||
|
|
C ; " " |
$ |
, |
||||||||
( ( $ + |
- - |
|||||||||||
«$», " + |
- |
$ - |
||||||||||
|
|
+. C ; , + |
- $ , |
- |
||||||||
-, |
|
$ |
+. |
|
|
|
|
|||||
«) $ |
|
|
||||||||||
|
$ |
$: B( |
, M |
|||||||||
. |
|
|
|
|
|
|
|
|
|
132 |
5 |
|
|
|
% |
|
$ : «< , 0 |
||||||||||||
|
». |
|
|
: «+ |
, |
||||||||||||
|
|
|
|||||||||||||||
|
) 0 ». |
|
|
- |
: |
||||||||||||
|
, |
|
% , |
|
|
||||||||||||
|
«/ . + ) < ) )». |
|
|
||||||||||||||
|
)-<<;: R ( |
$ $ |
- |
||||||||||||||
|
$ ( |
- |
|||||||||||||||
|
? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
%>+<<;: / ! |
||||||||||||||||
|
$. |
|
B |
" |
|
+ |
|
||||||||||
|
«+ », «< », «0 » - |
||||||||||||||||
|
" |
|
p, q, r. ' : |
|
|
|
|
||||||||||
|
|
B( |
( : q ~ r ; |
|
|
||||||||||||
|
|
M |
: |
~ p r ; |
|
|
|
|
|
|
|||||||
|
|
: |
~ r ( p q) . |
|
|
|
|
|
|||||||||
|
' + " |
|
, |
||||||||||||||
|
- " + |
|
+ - |
||||||||||||||
|
$ |
+. |
|
|
|
|
|
|
|
|
|
||||||
|
- "$ $ + "+ |
||||||||||||||||
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Z :/ |
p |
|
q |
|
r |
~p |
|
~r |
|
p q |
q ~r |
~p r |
~r p q |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
i |
|
i |
|
i |
x |
|
|
x |
|
i |
x |
i |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
i |
|
i |
|
x |
x |
|
|
i |
|
i |
i |
x |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
i |
|
x |
|
i |
x |
|
|
x |
|
i |
x |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
i |
|
x |
|
x |
x |
|
|
i |
|
i |
x |
x |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
x |
|
i |
|
i |
i |
|
|
x |
|
i |
x |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
x |
|
i |
|
x |
i |
|
|
i |
|
i |
i |
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
x |
|
x |
|
i |
i |
|
|
x |
|
x |
x |
i |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8 |
x |
|
x |
|
x |
i |
|
|
i |
|
x |
x |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
# "-& " , ; + |
|
|
- |
|||||||||||||
|
+, &$ |
" - (6), |
- |
5
& ! ; |
133 |
+ « ». < -, ; - -$ ( .
# "-& " ( -, ; ( -
+ |
|
$ +, &$ |
|
||
" |
- , $ |
. < |
- |
||
-, ; - $ ( |
- |
||||
, $ |
$ ’ . |
|
|
||
/ ! |
% |
|
|
||
" + % % |
+ |
$ + ( + |
: |
|
||
|
% |
( |
); |
|
|
% |
( ( |
); |
|
|
% |
( ( |
). |
-"-
& ! # ' $ -, # -
! # . !.
& ! # ' $ - ; , # !, # . !.
& ! # ' $ - $ ; , # !, # . !.
C ! — !- , . . $ . # $ ! , + < !.
’ |
, - + |
|
- |
|
, ’ , ( |
- |
|||
" , ! + |
"$ + |
. |
||
#’-, ( + |
|
. |
|
(1)4 ' ) ) '! , .
(2)6 !, % ' ) ) ' ! ).
134 |
5 |
|
|
|
|
%>+<<;: L- + |
|
(1) (2). ) - |
||||||||||||||
|
|
% + -: |
|
|
|
|
||||||||||||||
|
|
(1) |
p q , |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
(2) |
~ (~ p ~ q) . |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
- |
$ " |
: |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Z :/ |
|
|
|
|
p |
q |
~p |
~q |
p q |
~p ~ q |
|
~ (~p ~q) |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
i |
i |
x |
x |
|
i |
|
|
x |
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
i |
x |
x |
i |
|
x |
|
|
i |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
x |
i |
i |
x |
|
x |
|
|
i |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
x |
x |
i |
i |
|
x |
|
|
i |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
C , " |
+ |
(1) (2) |
||||||||||||||
|
|
+ . ( , |
+ |
|
(1) |
|
(2) |
|
- |
|||||||||||
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
( - |
||||||||||||||||||
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
& ! |
# ! , |
||||||||||||||
|
|
|
|
|||||||||||||||||
|
|
|
|
|
+ < |
|
# |
|
. |
|||||||||||
- |
|
% |
|
|
|
|
- |
|
|
! |
- |
|||||||||
- |
|
|
$ |
. N |
+ . |
|
|
|||||||||||||
- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
— |
|
' , |
|
||||||||||||
|
|
|||||||||||||||||||
|
|
|
|
|
; # . |
|
|
|||||||||||||
|
|
|
|
C ; |
|
! |
||||||||||||||
|
|
|
|
, — ! , ( |
||||||||||||||||
|
|
( , ; ! - !- |
||||||||||||||||||
|
|
, " ( - |
. |
|
||||||||||||||||
|
|
/ |
|
% |
|
- |
||||||||||||||
|
|
|
( |
( |
||||||||||||||||
|
|
|
|
|
. |
|
5
& ! ; |
135 |
|
|
|
|
. $, + |
# ’! < |
|||||||||||||
|
|
|||||||||||||||||
|
|
|
|
" |
# |
|
|
|
$ , |
. |
||||||||
|
|
|
|
|
||||||||||||||
|
|
|
|
+ |
; # " |
- |
||||||||||||
|
|
|
|
|
|
|
' |
|
- |
|||||||||
|
|
|
|
. |
$ |
; |
$ " |
|
. |
|
- |
|||||||
|
|
|
|
$ . |
|
|
|
|
|
|
|
|
||||||
# " |
|
- — |
||||||||||||||||
; |
|
|
, : |
|
|
|||||||||||||
1) |
! ($) |
; |
|
|
||||||||||||||
|
|
|
|
2) ’+ " + + , ( + |
||||||||||||||
|
|
; |
|
- "-& ’+ |
" & |
|||||||||||||
3) , |
|
|||||||||||||||||
|
+ |
, - |
. |
|||||||||||||||
|
|
|
|
C ; , |
|
. C ; , |
||||||||||||
|
|
. |
|
|
|
|
|
|
|
|||||||||
- |
: «/ % #, |
|||||||||||||||||
! ' !. 0 . |
||||||||||||||||||
3 , ! |
' !». ' |
- |
||||||||||||||||
, " |
. |
|
|
|
|
|
||||||||||||
%>+<<;: |
|
|
|
|
|
|
|
|
. B " |
|||||||||
! ($) |
||||||||||||||||||
|
+ |
, ; $ |
|
|||||||||||||||
, " |
: |
|
|
|
||||||||||||||
|
|
|
|
«0 » — p. |
|
|
|
|
|
|||||||||
|
|
|
|
«> ! ' !» — q. |
|
|
|
|
|
|||||||||
% |
|
p ( ~q, — , - |
||||||||||||||||
|
|
|
|
— ~q. |
|
|
|
|
|
|
|
|
|
|
|
|
||
$ |
( : |
|
|
|
|
|
||||||||||||
|
|
|
|
p ( ~q |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
p_____ |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
~q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#’- |
- |
|
|
|
|
|
||||||||
« |
’+ " »: |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
(p( ~q) p. |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
, - "-& ’+ " & - |
||||||||||||||
|
. B " ’-, - + |
|
||||||||||||||||
|
|
|
|
((p ( ~q) p) ( ~q |
. |
|
|
|
|
|
136 |
5 |
#- " .
Z :/ |
p |
q |
~q |
p ( ~q |
(p ( ~q) p |
((p ( ~q) p) ( ~q |
|
|
|
|
|
|
|
1 |
i |
i |
x |
x |
x |
i |
|
|
|
|
|
|
|
2 |
i |
x |
i |
i |
i |
i |
|
|
|
|
|
|
|
3 |
x |
i |
x |
i |
x |
i |
|
|
|
|
|
|
|
4 |
x |
x |
i |
i |
x |
i |
|
|
|
|
|
|
|
# " , ; ( + |
— " |
|
. |
|
|
' , ( ( , ; - |
||
( |
- % |
- |
|
. < -, ; - |
, - .
5.8. ' & C |
. |
|
# ' & 8 C & |
|
|
|
|
|
|
B + |
, $ (- |
|
|
! ; |
|
. |
|
$ , $ + -$, ( . / + - -% , , ’ --& , %$ + , - + % , + .
! — ! ,
|
$ ( - |
|
). |
|
|
— . |
- |
|
|
! , ! # < ' |
< # . |
J $" $ . ! |
!- |
|
, '. |
|
5
& ! ; |
137 |
' , + ( ( , ; , ; -+ , - $ , , (- , ; .
B |
|
|
|
$ - |
|||||
+ |
. C ; |
||||||||
! " , |
$ , - |
|
|||||||
|
, &$ " |
++ |
, ; , " |
||||||
$ |
+ |
. |
|
|
|
|
|
|
|
B |
|
|
|
|
$ - |
||||
+ ( |
|
% |
. |
||||||
B ; |
&$ |
+ |
$ |
, |
|||||
$ |
|
% |
|
, |
( %$ ( , &. ' "« ($ ».
+ - - & .
— # < , ! ! < - ' .
# ( , $ + ( + , ++ $ - : , , , .
Q $ "$ , --"+:
Z |
) ) |
|
-< % |
|
|
|
) ) & -<)0 |
||||
:/ |
& -<)0 /%' |
|
|
|
|
() ( P(-< |
|||||
|
|
|
|
|
|
||||||
|
|
|
|
||||||||
1 |
: |
/$ , ( , - |
: + |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
O |
|
B |
, |
|
, |
|
O |
|
+- |
|
|
|
|
% |
, |
|
, |
|
|
|
|
|
|
|
|
-, - |
|
|
|
|
|
|||
3 |
' |
|
M , -, , % , |
- |
' |
|
( ) |
||||
|
( ) |
, |
% |
|
|
+ |
|
||||
4 |
B |
’ , |
, |
B |
|
|
+- |
||||
|
|
|
|
|
|
|
|
|
|
|
|
138 |
5 |
1. /$ |
- , ( ( |
+ |
). |
2. C +, % + ( + ).
3.' % - ( ( +-).
4.’ - , ; ( + ).
: % ,( ! ! - . G$ ,, XVII—XIX . +-XX .% & ,1960- ! % ($ . : - -& -& . ' , ,&$ --+ + +.
* +$ $ . # -$ , + +--& .
5.9. |
% $ $ |
& % |
|
|
||
|
|
|
|
|||
#- |
|
- ( |
. |
|||
#- |
&& - ( |
. # |
- - |
|||
. |
+ %$ + . + |
|||||
|
+ |
& |
! " & &$ |
|||
# |
+ ’ |
|
, - |
|||
|
! " &, ’ |
& " &. |
||||
|
|
( . |
|
|
|
%$ — ! ,$ < < ! , < #- !.
, ; , ( , ( $ -
5
& ! ; |
139 |
$ , |
" ( . * % |
( |
, |
, " -
" . |
|
|
B ( - ’ - |
||
- $ $ |
: |
; |
( " &) |
||
|
. |
|
#$ ( . |
" |
$ $ # ) — |
# , #$ . |
G& ( + -
+ |
. - |
+- ( |
- |
. / , «/ $?» -, ; + , & + , .
C ; + ,& + , . ' , ; - : «/ -) ?», ;, ,- " : «') !$ , ) !,», ( ( % .
E #$ — , ' , # . .
+- " +.
/ , |
: «2 # ?», - |
$( |
" , ( ( - |
. ' ( , -, % . % :«/ ?» ( $ " -
|
( |
( $ - |
( |
% & + ) |
|
+ ’ |
+ ( ). |
140 |
5 |