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)