Traducción lógica de "como máximo" mediante FOL

Question

Utilizando únicamente cuantificadores existenciales y universales, intento traducir la siguiente frase:

"Como mucho b y c son cubos grandes".

Exprese las propiedades "grande" y "cubo" mediante los siguientes predicados atómicos Grande(a) y Cubo(a).

Se agradecerá cualquier sugerencia.

Answer 1

Sugerencia : Para todos $x$ , si grande( $x$ ) y cubo( $x$ ) entonces $x=b$ o $x=c$ .