Павлов В.І. Логіка у запитаннях, відповідях і аргументаціях
Подождите немного. Документ загружается.
241
, . B
&
'2);
9
/ %
;
9
8 '2).
2. OH H , :
9 8 $ , % " $,
, & , '2);
9 / % '2) %& . B
’
’
.
9 ' " '2)
.
& 1. 93
: 3 . 3
#.
'(’(:
' $ & &:
S – P
(
) 3 . – ( S–K) – $
(F).
S + P
(
) 3 #. – ( S+P) –
$ (1).
' $ '2),
& :
– K M P
3 .
+ S
3 #
. M S
S – P S_________P
, #, .
/ 3 & %& '2). )$-
F19. / '2) &, $,
.
6 , &
.
=: =’ '2)
, $, &,
’& $ &. / $
. 5 $ ,
.
242
& 2. ( $):
3 , 3 #.
'(’(: $, &, $ . 1
’ «» $ $
, – .
S + M
3 #
.
S – P
3 .
%’ (S) «3» (K) « »
. 8,
(S), &
() « #».
(K) ()
. ', K ,
– ’:
? M ? K
2 # ’ .
S +
3 #
.
S – P
3 .
8 ’& .
9 , ’
& (0&!/' 2 ). B, 0&!/'! 2 ,
()
. /
, $,
. 8,
«2»:
M – P
2 , #, . (E)
S + M
(
) 3 #. (1)
S – P
(
) 3 . (F)
K
S – 1 % '2)
____________
S P
/ , , $ 1 %
&, . 6 ,
& & & &.
243
& 3 ( $):
( * . 9$, # * .
'(’(: ' $ (1), –
(F). 8’ «» $ $
$ &, – . 6,
. 8 ’ % '2).
B , 1,
(S) (K) ,
. 6 , ,
'2):
K +
( *
.
S – P
M * .
)
(K) – «». 9$,
, , & .
<: ,
(S) – «». '
" :
P + M
( * . P M
S – M
M *
. S M
S – P
M * . S P
/ 2 & %&. <
– 1FF. / '2) &,
.
& 4 ( $):
. .
'(’(: $ (), –
(9), " $ '2),
0&!/' 3 . #" $
&, – :
M + S
.
S – P
.
8 $ , ,
, & &, (S).
' % '2):
244
? ? K
2 ’ . M P
+ S
. M S
S – P
. S P
9 , ’
& (0&!/' 2 ), $
&, ()
(0&!/' 2 ).
/, :
2
.
.
.
/ %& 2
%. / '2) &, $ .
10.3.3
10.3.3 !) /F -/, !/!%8$ - -/?
!#/ 0&/'!,/ - -/+ -/,
,
.
# # , $
(
) ,
, ’
#
" (. 4.2.2b):
N+ , b
o b
N+ b,
cb o
N+ ,
o
6 , b – $.
E
& -
( ) " .
(
’" ", $ o # "
, % ,
:
)())()(( cacbb oooo
# " :
9 N+ 1 , "
".
N+ 1 " ", "
" .
N+ 1 , " " .
245
9 N+ ,
.
N+ ,
.
N+ ,
.
9 N+ * ",
.
N+ * ",
.
.
+ " $:
N+ , b
ba o
N+ -, b
ba o
b b
10.3.3 b) /F '$ -% : - -/
-/, 0&/ !#(&/"/
/'( (J)? / :! #/
- -/F /'( , J?
= ()
: «?
+ – * . ? – *
", " . /, + – *
", " ».
8 $, " ,
" :
N+ * +, * .
ba o
N+ * , * ",
" .
cb o
N+ * +, * ",
" .
o
6 a, b, c
# :
– «> * +»;
b – «> * »;
– «> * ", " ».
# (. 6.2.1), %
o
" " $ (
,ba o cb o )u ( o ),
% , , :
).())()(( cacbba oooo 1 ’" ( )
, %
)())()(( cabacb oooo
( $ &). Q
:
246
N+ * , * ",
" .
cb o
N+ * +, * .
ba o
N+ * +, * ",
" .
o
6 % ,
$
# #
:
%() $(K)
K * ", " . $ % * $.
(S) A(M)
T * .
$ * %.
C(S) B(P)
T * ", " . $ * $.
6 %, $, , "
, S, P, M – " % ,
.
2& (. 10.3.1),
,
# . /
,
%& 1
% &.
/, $
# ', &
$" " . 1
, , - $
,
–
" ’.
' $
& &
"
, $ .
6, %" , $
, ,
. 2 , ’, % (
o ) ’"
" $ (
o b) (bo c) (.
. 21 6.2.1), $ '2) $
.
10.3.4 A-
10.3.4 !) /F -/, !/!78 --!#(&/"/?
B ,
" ’ ,
# % ,
-# (#) .
247
9- ()
, , –
# .
/ ,
’ $ " ( ,
&)
.
10.3.4 b) 0&!/'8 ,-/ /&$78
--!#(&/"/+ -/,!+?
/+ ,F7%8$ /?
/& "
- ,
& , & " .
= .
1. (modus ponens):
N+ , b.
o
b
a
b b
4 &
: ($ ) ,
, $, $ b.
G %, ,
:
baba oo ))(( .
' % :
N+ " # #, #
.
N " # #.
N # .
2. B (modus tollens):
N+ , b
ba o
)-b
b
)-
E $ :
abba oo ))(( .
#:
N+ " # #, #
.
N # .
N # " #.
< - &
, "
" , . 8
& . (, ,
248
, % ,
" . ) -
: –
. &
, , %. 1 " "
&
" .
2 , &
- , && ,
& «», :
&- $
N+ , b
ba o N+ , b ba o
b
b -
, , , -b ,
b
abba oo ))(( baba oo ))((
E " (
& ), $, &
. #:
9 N+ ", ".
".
, ".
9 N+ " #* #, .
# " #
.
, .
5
, ,
«», . $,
" " , $ ,
& . #,
, %" %", " ,
. 1 $
, ,
.
6 , -
,
, ’ & %
:
)
-# , +
* :
9
;
9
.
) * , + * :
249
9 ;
9 .
& 1. #& - .
' , " 3 :
N+ 1 , "
". % # 1 .
'(’(: ' , ,
.
' &, %&
$ – «< * ».
# $ b – «<
" "». 8
(
) : «N+ , b».
B $,
:
– «M 1 * ».
6 . 8 & &
& :
N+ , b
ba o
)-
a
? ?
> , ’,
& -
. /
. 6,
- ,
:
N+ , b
ba o
)-
a
, -b ,
b
5- :
N+ 1 , "
".
M 1 * .
, # 1 ".
1 , , , , $
, % . , "
%, " .
& 2. ( $). N+ 11,2
, =. K
.
'(’(: ( 1, :
N+ , b.
ba o
b
b
, ,
250
9 -
. 6, "& , $
$,
:
N+ 11,2 ,
=.
K =.
, 11,2 .
& 3. 8 :
N+ , .
% , , .
'(’(: 5, , -,
:
N+ , b
b o
)-
a
, -b ,
b
N+ , .
.
, .
9: - ,
. p % . 6,
, & ,
& «» «».
10.3.5
10.3.5 !) /F -/, !/!%8$ - &0,'8/?
" ,
.
2$ , " ,
" ( )
# ,
&
’" && #
() (. .. 4.2.2):
S * K
1
, K
2
, K
3
.
K
1
* K
11
, K
12
.
_____________
S * K
11
, K
12
, K
2
, K
3
.
6 " – S * K
1
, S * K
2
S
* K
3
. / & , $ S * K
1
" &
– S * K
11
S * K
12
.
#: