∃x.p(x) ⇒ ∀x.p(x) → Contingent
p(a) → 0 (false)
p(b) → 1 (true)
c. ∀
x
.
p
(
x
) ⇒
p
(
x
) → Valid
p(a) → 1
p(b) → 1
d. ∃x.p(x) ⇒ p(x) → Contingent
p(a) → 1
p(b) → 0
∀
x
.φ ⊨ φ → True
p(a) → 1
p(b) → 1
b. φ ⊨ ∀
x
.φ → True
p(a) → 1
p(b) → 1