Hey!! :o
I am looking at the elimination of quantifiers.
Let $T(x)$ be the predicate that $x$ is non-constant.
Consider the expression…
No comments:
Post a Comment