Гладкий А.В. Введение в современную логику
Подождите немного. Документ загружается.
M P S
M S P
M P S
M S P
'
&
$
%
'
&
$
%
'
&
$
%
M
S
P
'
&
$
%
'
&
$
%
M
S
'
&
$
%
P
M
P S M
S P
S M
P
M S M
S P
S M
'
&
$
%
'
&
$
%
'
&
$
%
MSP
'
&
$
%
'
&
$
%
'
&
$
%
MSP
P
M S
M S P
S M
M P M
S S P
M P
'
&
$
%
'
&
$
%
'
&
$
%
MSP
'
&
$
%
'
&
$
%
'
&
$
%
MSP
M P M
S M
S P
M
'
&
$
%
'
&
$
%
'
&
$
%
SMP
M
M(x) P (x)
∀x(M(x) → P (x))
M(x) → P (x) x
AAI EAO EAO AEO
AEO
A
I
T
S
T
P
T
S
T
P
E O
T
S
T
P
T
S
T
P
T
S
T
P
T
S
T
S
T
P
AAI
T
P
T
M
T
S
T
M
T
S
T
P
XY A
XY I
XY I
XY A XY O XY E
AY Z EY Z XAZ XEZ
IY Z OY Z XIZ
XOZ
T
S
T
P
(3)
(∃yM(y)&∃zP(z)) & ∀x(M(x) → P (x)),
(∃yS (y)&∃zM (z)) & ∀x(S(x) → M (x))
(∃yS(y)&∃zP(z)) & ∀x(S(x) → P (x)).
(4) ∀x(M(x) → P (x)), ∀x(S(x) → M(x)) ∀x(S(x) → P (x)).
∀x(S(x) → M(x))
∀
S(x) → M(x)[S(x)](5)
∀x(M(x) → P (x))
∀
M(x) → P (x)M(x)
P (x)
S(x) → P (x)
∀x(S(x) → P (x))
∀
∃yS (y)&∃zP(z)
∃yS (y)
∃yS (y)
∃yM(y)&∀x(M(x) → S(x))
∃yM(y)&∃x(M(x)&S(x))
∃yS (y)
