Slaughtering Competition Problems with Quantifier Elimination

https://grossack.site/2021/12/22/qe-competition.html

#HackerNews #Slaughtering #Competition #Problems #with #Quantifier #Elimination #competition #problems #quantifier #elimination #HackerNews #tech #blog #mathematics

Let S denote all mathematical symbols.

⋁ a symbol x ∈ S which has a nonzero set of worse alternatives f(x) = {x'}.

Lemma:
f("⋀") = {"∀"}
and
f("⋁") = {"∃"}

⋀ person who uses ∀∃, I say take a hike, ⋀⋁ forever! ∎

#mathematics #universal #existential #quantifier #symbol #notation