PUERTA | PUERTA CS Simulacro 2018 | Pregunta 11

Sea manzana(x) el predicado de que x es una manzana. Sea verde(x) el predicado de que el color de x es verde. ¿Cuál de las siguientes afirmaciones no representa la afirmación dada?
“No todas las manzanas son verdes”

22
(A) A
(B) B
(C) C
(D) D

Respuesta: (D)
Explicación: A. \neg \forall x(apple(x) \rightarrow green(x))– Negación de “Todas las manzanas son verdes” = No todas las manzanas son verdes
B. \exists x(apple(x) \wedge \neg green(x))– Existe una manzana que no es verde.
C.- \neg \forall x(\neg apple(x) \vee green(x))Igual que la opción A, con la implicación ampliada.
D.- \forall x(apple(x) \rightarrow \neg green(x))No todas las manzanas son verdes.
Por lo tanto, D es la opción correcta.
Cuestionario de esta pregunta

Publicación traducida automáticamente

Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *