Question

Me ajudem, expliquem a resposta por favor?!

Dadas as sentenças A e B da lógica de primeira ordem, onde A é a sentença ∀x (¬p(x) -> q(x)) e B é a sentença ¬∃x¬p(x)V∀xq(x) , tem-se que:

A) A é consequência da lógica de B.
B) B é consequência da lógica de A .
C) A é consequência da lógica de B.
D) B é consequência da lógica de A.
E) B é consequência da lógica de A.

Answer 1

pelo que eu entendi é a C