Question

dada la proposicion P(x): "x es un planeta del sistema solar" la proposicion ~[∀x:P(x)] equivale a:
a) no existe algún planeta que no es del sistema solar
b) no existen planetas del sistema solar
c) existe un planeta que es del sistema solar
d)no todos los planetas son del sistema solar
E) existe por lo menos un planeta que no es del sistema solar

Answer 1

Si usamos lógica, en la Proposición de negación no está el símbolo de existencia, No es un cuantificador existencial (Los Símbolos con la E)

En su lugar, está cuantificador universidad Que quiere decir "Para todo"( Una "A" invertida)

La respuesta correcta es la D, "No todos los planetas son del sistema solar"

No sé si me explico.