Wednesday, October 7, 2015

Elimination of quantifiers

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