qual a negação da proposição

(∀x: x+2 ≤ 7) ∧ (∃x: x*-1 = 3)

Negando ∀ temos ∃

Negando ∃ temos ∀ 

Negando ≤ temos >

Negando ∧ temos ∨

Negando = temos ≠

Portanto, a negação de (∀x: x+2 ≤ 7) ∧ (∃x: x*-1 = 3) será (∃x: x+2>7) ∨ (∀x: x*-1≠3)

Primeiramente vamos considerar a negação dada:

Agora faremos os seguintes passos:

• Negando ∀ iremos ter ∃

• Negando ∃ iremos ter ∀

• Negando ≤ iremos ter >

• Negando ∧ iremos ter ∨

• Negando = iremos ter ≠

Assim, obtemos que, a negação de será: