Павлов В.І. Логіка у запитаннях, відповідях і аргументаціях
Подождите немного. Документ загружается.
251
3 * , , .
* ,
.
3 * , ,
, .
10.3.6 /-
10.3.6 !) /F -/, !/!78 &0,'8-
!#(&/"/? 0&!/'8 ,-/
/&$78 - 8-?
'"- ,
, – # .
/& " , &
:
1. - (modus ponendo tollens):
S * K
1
, K
2
, K
3
.
cba
S * K
1
.
S * K
2
, K
3
. cb
/ , &,
& . ) %& &
. 2$,
&
$ " . #:
", ",
".
M * " ".
M * ", ".
E
)())(( cbacba o
, ,
:
4.37
a b c
ba
cb
cb
cba
acba )(
)())(( cbacba o
I I I X X I I I I
I I X X I X X X I
I X I I I X X X I
I X X I X I I I I
X I I I X I X X I
X I X I I X I X I
X X I X I X I X I
X X X X X I X X I
) < 6
252
1 %
’" (
)
(
) ’", % ,
, .
', & $"
«», &$&. #,
:
! * ", , 1.
! * ".
! * , 1.
/ , ,
, % &. >
, &
%
).())(( cbacba o
2. B- (modus tollendo ponens):
S * K
1
, K
2
, K
3
. cba
S * K
1
, K
2
. ba
S * K
3
.
# :
& $ .
$, $ $, & ,
& , &
. #:
< , ,
.
M 1 * , .
M 1 * .
E, ,
cbacba o ))()((
. ' % $ &
.
( $ - ’&&
, % . 6,
- ,
%& - , $
& «». # %:
! * ", , 1.
! * ", .
! * 1.
6 $, & , &&
, .
/ $, "
-# ,
& , $ &
253
", ", $" , "
& . 6,
%& " & & . 1
& - ,
’ $, &. 1
,
$ , "&
, $ .
6 &
,
& , . # $&
%:
9 ?- * ,
# .
M * .
M # .
9 $ #* , 1 .
3 #* 1
.
3 #* .
# , $,
& , "&&
"$ " . , - ,
& " .
B $ , "$
% ( – ), .
6
«» «1 »
&& : " $ & ,
$.
6 , $
- :
&!/' 1. /"
’ S "
"
K
1
, K
2
, …, K
n.
, , ’&
$ "& $
.
&!/' 2. /" K
1
, K
2
, …, K
n
"
.
'
-# 3&
"
(. 3.7.1). 6
’ S, K
1
, K
2
, …, K
n
.
10.3.6 b) !#/ !(!'8/F !'(&/ 0*-,/ /
- &0,'8-!#(&/"/+ -/,!+
/,
-# :
9 / (
)
(
# ) ;
254
9 / ,
$-
;
9 '
.
& 1. #& - .
9 " 3 :
?- " "
1, 2, 3, 4 1". ) "
1".
'(’(: B, -,
– $, –
.
?- " "
1, 2, 3, 4 1".
) " 1"
.
?
# $,
, , "
%& - :
?- " "
1, 2, 3, 4 1".
8 " 1"
.
8 " 4 1".
' &, ,
% ,
«$ %» && . 9$,
.
& 2. 8 :
M " " . /, #
", - " *
", , .
'(’(: B $, "
, , "
, –
( «»):
?- " * ", ,
.
M " "
.
M ".
/ %& -
:
cba
ba
255
1 1 : ()
$ " ( &
- ). 6 ,
, %, – .
& 3 ( $):
> " , , *,
, " , .
'(’(: B %
$, " "
%:
– «> " »;
b – «> " »;
– «> *»;
– «> " »;
b – «> " »;
cba
– «> " , ,
*»;
ba
– «> " , ».
) «»
«> "
, ». 6 ,
- &,
& & &, :
> " , , *.
?
> " , .
9 $,
$ :
- . 8,
– «>
*»:
> " , , *.
> *.
> " , .
G " :
cba
ba
1 , , ,
: & $ ,
, « » «»
$ & , && .
& 4. ( $):
/" = ", *
", , ,
256
" =, . )
, + " "
. /, "
" =.
'(’(: 4 - ,
$:
/" = ", *
", , ,
" =, .
) , + "
" .
/, " " =.
< -:
cba
ba
9 &,
.
10.3.7 A-
10.3.7 !) -/,/ !/!78 --&0,'8//?
!#/ =+ '!/9!C7
9-" (#)
,
, .
8$ "
&
( $,
’&
’"), ( – "
’&),
( – n- ’&, n>2 –
).
5 .
9 ! #(
4 & & &
. / & , $ "
.
,
’" , ,
();
;
.
G % %
& :
257
N+ S
1
* K
1
, S
2
* K
2
+ S
3
* K
3
, S
2
* K
2
. )()( bcba oo
S
1
* K
1
S
3
* K
3.
S
2
* K
2
. b
# ’ % $ %
bcabcba ooo ))()()(( &
.
# $ &
&
:
N+ , +
" , .
N " .
N .
8 «» ( ),
’" $, $
. $ ,
, $
. 6,
* «»
.
,
’"
(") ();
",
.
# % %
:
N+ S
1
* K
1
, S
2
* K
2
+ S
3
* K
3
, S
4
* K
4
.
)()( dcba oo
S
1
* K
1
S
3
* K
3
. a
c
S
2
* K
2
S
4
* K
4
. b d
8 %
)())()()(( dbcadcba ooo ( & ). 1
% (
)
’" (
) ’". '
& % )())()()(( dbcadcba ooo
, $ &.
= :
N+ , ; + ,
.
% * , .
0 , .
) " $
, " " $ " &
& & $ . 8 & "
&, , « " ». 8
258
"$ . ( ,
B. B% «= 2», ’
$ & . 8
= $ , ,
, «…-, , ,
… , $ ; -
, , ,
" … " "… (
, &, , "
&».
' =
:
N+ ",
#* "; + "
, # .
N " "
.
N #* " # .
) & $ "
= , &.
,
’" ,
("), ();
# " ,
# " .
G % % :
N+ S
1
* K
1
, S
2
* K
2
+ S
1
* K
1
S
3
* K
3
. )()( caba oo
S
2
* K
2
S
3
* K
3
. cb
S
1
* K
1
. a
acbcaba ooo ))()()((
. 9& % $
:
acbcba oo ))())((( .
( " %"
’" (
)
’" (
), .
'
$
:
N+ 3 * , *
" *#.
3 * "
*#.
3 * .
9
2, & : «/
& , , , ,
&, …
, ; – , ,
259
$ ». 6,
=
:
N+ * $ " ", "
* #, " " + ".
> * + , * #, "
" + ".
> $.
,
’"
(") ();
# ,
# ".
# % %:
N+ S
1
* K
1
, S
2
* K
2
+ S
3
* K
3
, S
4
* K
4
. )()( dcba oo
S
2
* K
2
S
4
* K
4
. db
S
1
* K
1
S
3
* K
3
. ca .
#:
N+ ! , +
, " .
! .
!
.
4 %
)())()()(( cadbdcba ooo
,
. 1 «»
, $ .
/, :
9 %
$
’" ( ), " " . 6,
%:
bcabcba ooo ))()()(( ;
bcabcba ooo ))()()((
;
acbcaba ooo ))()()(( ;
acbcaba ooo ))()()((
$ ;
9 %
"
() ’&:
)())()()(( dbcadcba ooo ;
)())()()(( cadbdcba ooo
.
1 " " & " "
’" , . .
260
« », " && %,
$ :
)())()()(( dbcadcba ooo
;
)())()()(( cadbdcba ooo
.
# ,
– # (. 9.1.2). < $
& $: %
" , & ’&&,
$ & "
$ $
" «+…,
…» ( 4.4.2d).
9 ! #(
', $ , &
. / & , $ " $ &,
&.
#
,
$ (). 8 "
% % - . 6,
& , $
" % $ %&. / "
" $ "
() %& -
.
G %:
N+ S
1
* K
1
, S
2
* K
2
, + S
3
* K
3
, S
2
* K
2
+ S
4
* K
4
, S
2
* K
2
.
S
1
* K
1
S
3
* K
3
, S
4
* K
4
S
2
* K
2
.
8 %:
)()()( bdbcba ooo
dca
b,
.))()()()(( bdcabdbcba oooo #:
N+ ,
’ #;
+ " , ’
#;
+ ,
’ #.
M ,
" , .
M ’ #.
G %: