I am trying to say: Every a in A is in B

Is the following notation correct?

[(universal quantifier) a (epsilon) A] (epsilon) B

Printable View

- June 4th 2010, 10:53 AMNoxideNotation
I am trying to say: Every a in A is in B

Is the following notation correct?

[(universal quantifier) a (epsilon) A] (epsilon) B - June 4th 2010, 11:05 AMundefined
- June 4th 2010, 11:24 AMNoxide
- June 4th 2010, 11:36 AMundefined
You could read ":" aloud by simply pausing: "For all a in A, a in B." Or you could read it as "it is true that."

Here's another way.

if and only if

Edit: upon reflection, what I wrote above:

isn't precise enough, because is unspecified, thus the expression is not a sentence/proposition in the language (it cannot be assigned a truth value); we would still need the symbol, like I did in this post.