2
$\begingroup$

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!

  • 0
    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"2011-05-04

1 Answers 1

7

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

  • 0
    As far as I read it, at most means that if there are any there cannot be more than two.2011-05-04