Esercizio da fare 2

Negazione di una proposizione esistenziale

Teoria usata: Negazione dei quantificatori

Scrivere la negazione di

$$\exists n\in \mathbb{N}:n^2=10$$

e stabilire quale tra la proposizione e la sua negazione è vera.

Mostra soluzione

La negazione è $\forall n\in \mathbb{N}:n^2\ne 10$ ed è vera: $3^2=9$, $4^2=16$, e i quadrati dei naturali successivi superano $16$.