Гладкий А.В. Введение в современную логику
Подождите немного. Документ загружается.
x
A B
A B
F
a b ∃xF(x) F (a) ∨F (b)
∀xF (x) F (x)
M
M F
M F
a M
F (a)
f(x)=0 f(x)
ax = b a b a =0
b a
F a b ∀xF (x)
F (a)&F (b)
A
A
A
A
FE FG AB
CD AB
CD FG
CD
AB F AB
FE FG
FE FG AB CD
AB CD
FE FG
AB CD
n
k
6=3·2 n
2k n
n
n n
k n
l n
l k
A
A
A ∨¬A A
A
¬A A
M
M
M
M
M
&
M
&
M
∨
M
→
→
M
¬
M
¬
M
M
M
M
M
M →
M
M
→
M
M
M
M
¬
M
M
M
∨
M ∨
¬¬
¬¬ [ ](5)
¬¬ [¬ ](5)
∨¬
1
A
B B
A
A
B A B
¬ & ¬ ¬( ∨ )
¬( ∨ ) ¬ & ¬
¬ ∨¬ ¬( & )
¬( & ) ¬ ∨¬
¬ & ¬
¬
[ ](5)
¬ & ¬
¬
[ ](5)
[ ∨ ](6)
¬( ∨ )
[ ](3)
∨ ¬( ∨ )
[ ](6)
∨ ¬( ∨ )
¬ ¬
¬ & ¬
¬( & )
¬( & )
[¬ ](7)
[ & ](3)
[ & ](6)
[¬ ](7)
¬( & ) ¬ ∨¬
¬( & ) ¬ ∨¬ ¬ ¬
&
¬
¬( & )
¬
¬ ∨¬ ¬ ¬ ∨¬
[ ](3) [ ](7)
& ¬( & )
¬
¬ ∨¬
[¬ ](7)
¬
∨¬ ∨¬
¬ ∨¬
&
¬ &
¬ ∨ →
→ ¬ ∨
¬( & ¬ ) →
→ ¬( & ¬ )
→ ¬ →¬
¬ →¬ →
¬ ∨
¬
¬( & ¬ ) ¬
& ¬ ¬( & ¬ )
¬¬
¬ → ¬
¬ →¬
¬¬