Question

Uma sentença aberta P(X) e seu universo U = {a1, a2, a3, ... , an} tem a sua negação na seguinte forma:

~(∀x , P(X)) ⇔ ~ (P(a1) ∧ P(a2) ∧ ... ∧ P(an)).

Aplicando uma das leis de De Morgan, assinale qual outra forma é admissível para indicar também a mesma negação.


~(∀x , P(X)) ⇔ ~ (P(a1) ∨ P(a2) ∨ ... ∨ P(an))




~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)


~(∀x , P(X)) ⇔ ~P(a1) ∧ ~P(a2) ∧ ... ∧ ~P(an)


~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(an)


~(∀x , P(X)) ⇔ P(a1) ∨ P(a2) ∨ ... ∨ P(an)

Answer 1

Resposta:

 

~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)

Explicação passo-a-passo: