Convertir el inglés a la lógica

Question

Cómo escribir la siguiente frase utilizando la lógica proposicional:

Sólo los monos aprecian correctamente el valor del arte.

Esto es bueno:

Dejemos que $M(x)$ ser ' $x$ es un mono" y $A(x)$ ser ' $x$ aprecia adecuadamente el valor del arte", donde el dominio de $x$ es el conjunto de todos los animales.

En este caso, $\forall x\ A(x) \rightarrow M(x)$ o $\forall x\ A(x) \iff M(x)$ ?

Answer 1

Parece que tienes razón, pero tal vez quieras formularla de la siguiente manera para reflejar la naturaleza de la pregunta: Si $x$ aprecia adecuadamente el arte, entonces $x$ es un mono Y si $x$ no es un mono, entonces $x$ no aprecia el arte, pero esta última afirmación no es más que el contrapositivo de la anterior, que adopta la forma $(\forall x)(A(x)\to M(x))$ . Por lo tanto, no veo ningún problema en su formulación.