x(A(x, y) ∧ B(x)) ∃x∃y(A(x, y) → B(x)) ¬∃x∃y(A(x, y) → B(x))

x(A(x, y) ∧ B(x)) ∃x∃y(A(x, y) → B(x)) ¬∃x∃y(A(x, y) → B(x))

 * +,
! "!# $%&"'()#
- ./012 3 4 35 6 784 09:;5
< =
>? @ AB
?
@CDE? > A>F
G A
?
> ?FH
? E? A CI@ G >C
FB
E? JC @
@D> <
K <
I<
F<
><
<
J<
L
A@? I ? E? MB
@ I ? G N A
O@
@@ P =C?@C? F MB
@ ? @ @C ?J > Q R S
A
? @
C?@@ A
O@
G @ @S
? A
MB
@
L
C > I C N T E? ?@ U D S
N ACJC>N G @ > @S? @S
?
V N @B??W
< C? FB
F? > F JCN?@ >? F
@F?@ > A>F
G >E?X S@ S
D > S?
D
C G ? FCY CFC G ? >YCFC G ? N A@F
C G ? JCN?@ ?@@
C? ? JCN?@ W@@ Z I @
A C > E?
[F
? Z F @ I@ @I Z
F S@ S
D > S? AB
<
(∃xA(x, y) ∧ B(x))
∃x(A(x, y) ∧ B(x))
∃x∃y(A(x, y) → B(x))
¬∃x∃y(A(x, y) → B(x))
∀x∀y((A(x, y) ∧ B(y)) → ∃wC(x, w))
\ < =
>? @ AB
?
@CDE? > A>F
G A
?
> ?FH
? E? A CI@ G >C
FB
E? JC @
@D> <
] <
I<
F<
><
<
M
J
C A
F
AF?W
=C? @ J
C A
F
AF?W
S
A
C? C? @ I
@@
=C? @ J
C C? > I
@@
=C? @ J
C C? ? I
@@
<
I<
F<
><
<
J<
BCN N E? N @ N ?W S A
N ?
=C? BCN N N E? @S
N ^? ? C_ C FB @S
FF? > @
D
M@? E? > A?
M@? E? ? N E?@E? FBC @SCI <
=C? @ N C> >N E?@E? S? E? >N C? @ N C>
<
I<
F<
><
<
J<
D<
B<
=C? @ N C> J??W >V E? E?@E? S? J
>? I?
FCN N `
? E? S@ ? F@V@
=C? @ N C> ? P @SW
N G ?J F?W E? C A
?
C S ? ? N C> =C? @ J
C >`? E?
> ? >?@ @ CN A R C? @ N C> @S
N G Q N C? @ N C>
Q N C? F?W E? @S
N R L
P =
B E? S@ FC E?@E? S? G @ @SA C?
a < b cdefgg heijihk lj dmnoijd p?@ ACA C
> A ? N qN ? @
FC? A?AA C @ FC? > S? ACA CC < WN A@ G A C? r stuv
w xyzt{ |}~ tuv z }€ x {t C ?
@
JCN?@
@ W ? FC?A
I@
∃x C(x) ∧ C(m)
! "!# $%&"'()#
Q F@ FC?A
I@< N qN G A C? t  ~ t yx zt tuv z x } t G C ?
@
JCN?@ ?
<
∃x RdF (x) ∧ ∀y (RdF (y) → y = x) ∧ C(x)
CA C ? A
C >
@ N qN A A C? FB
F? > CF ?
<
< L
? ?
I < ? C FC
F < R?@ @ J
F? A
> < ?@ S J
C@ C?
< hk l elkjlk le AB
?
F
F A
@ J
E? @S>H
[G C? @
A C > S? E?
[F
C ?@@ G SAV > J
`C ?@@ <
M ?
C S A
?A
C FC
@SE?
@F ∀x(ϕ → ψ)
FC A
> SCFF?F @I > < R? @
I
> F
(∃xϕ → ψ)
ψ
x
E?
@F G ACA CX A C? FB
E? AB
>?W >?FC @CDE? > A>F
E?
@<
\ < ?@ J FB >V E? E?@E? S? J
>? I?
I < =C? @ N C> J FB E?@E? S? J
>? I?
F < =C? @ C? E? C FB
> < =C? @ C? E? @S
N < =C? @ C? E? ? @@ C FB
J < =C? @ C? E? ? @@ @S
N D < R ? JN A CV> ? G @ @ I
B < =C? @ N C> N E? A
? N C? >`?
@ N C>V@ ?
@
T
F MB > <
< h ole RC
M = hU, Ii
U = {
,
,
}
@
Z
T
F Z
MB Z
> ,
I(a) = I(b) =
I(c) =
I(d) =
@
G > Z
MB G T
F I(H) = =
@
MBI(F ) >
T
F
@
>
I(A) = {h
,
i, h
,
i, h
i}
MB >
@
T
F
>, T
F
MB @
I(D) = {h
,
i, h
,
i, h
,
i, h
,
i}
n @?X @
@? > > JCH MC?X @ N C>V@ 0
G
M = hD, I 0 i
N?@ ?
>
F N C>V@ @ E? 0 @ N qN >CN > SH
<
>>? E?M G 0 CF @
N qN D(d, b)
M
I<
>C
C E?
?WI FC
> S>H
H(d) ∧ D(c, d)
I
F<
>?G @ JCN?@ ?
C
> < D(d, b) → F (a)
>
0 H(c) ∧ (H(a) → D(a, c))
M
<
I < H(c) ∧ H(a)
F < ∀x (H(x) → A(x, c))
> < A(a, c) → D(c, a)
∃x∃y ((H(x) ∧ F (y) ∧ A(x, y))∨
(H(x) ∧ F (y) ∧ A(y, x)))
< oohmie l
=
>? @ AB
?
@CDE? > A>F
a < =C? F E? L
S
A
A >? G @ @S
I < L
S
A
A >? ? N @@C > J
F
F < L
? N @@C > J
F
I @_ @ _@@CDN E? FC P >>? > @
FCYCFC > a
>
aI @
FCF@?C aF< OWA@E? C ? @S? > CN <
!"#$% &%' (!")( %*) +('%**",% - $, ./%0-,"1%, 2 ,1%%1%+) /$+"'")(3