Question

al negar y simplificar la expresión ∀x [a(x)∧(¬ a(x)→¬b(x))], se obtiene:

Answer 1

Respuesta:

d)

Explicación paso a paso:

Usando la negación del universal, de la conjunción y de la implicación y despues simplificando.