Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Only using existential and universal quantifiers, I am trying to translate the following sentence:

"At most b and c are large cubes."

Please express the properties 'large' and 'cube' using the following atomic predicates Large(a) and Cube(a).

Any hints would be appreciated!

share|cite|improve this question
"If something is a large cube, then it is b or c." – Andrés E. Caicedo May 4 '11 at 6:23
I don't know if it helps but its equivalent to "If $x\neq y$ are large cubes, then $\{x,y\}=\{b,c\}$" so you would not have the nasty "at most" – Listing May 4 '11 at 6:25
up vote 7 down vote accepted

Hint: For all $x$, if large($x$) and cube($x$) then $x=b$ or $x=c$.

share|cite|improve this answer
At most, means at least one correct? – KerxPhilo May 4 '11 at 6:47
As far as I read it, at most means that if there are any there cannot be more than two. – Asaf Karagila May 4 '11 at 6:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.