Ensino Médio ⇒ Sentenças abertas, Quantificadores

[TSF]

Transforme a seguinte sentença aberta em proposição verdadeira usando quantificadores:

[tex3]\sqrt{x^2} = x[/tex3]

Resposta

---

[tex3](\exists x) (\sqrt{x^2} = x) [/tex3]
"Não entendi porque não pode ser, para todo x."

[csmarceloMOD]

Porque [tex3]\sqrt{x^2}=|x|[/tex3].

Dessa forma, [tex3]\sqrt{x^2}=x[/tex3] só é verdadeiro quando [tex3]x\geq0[/tex3].