Esercizio da fare 3

Negazione di una congiunzione quantificata

Teoria usata: Negazione dei quantificatoriLeggi di De Morgan

Scrivere la negazione di

$$\forall x\in \mathbb{R}:x\ge 0\wedge x^2\ge 0$$

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

Mostra soluzione

La negazione è $\exists x\in \mathbb{R}:x<0\vee x^2<0$ ed è vera: per $x=-1$ la prima alternativa $x<0$ è soddisfatta.