Elementos de Lógica Matemática: uma breve iniciação
Elementos de Lógica Matemática: uma breve iniciação
Elementos de Lógica Matemática: uma breve iniciação
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Exemplos<br />
Nos exemplos a seguir, todas as variáveis são<br />
reais.<br />
• ∀x(x > 0) (F);<br />
• ∀x(x 2 0) (V);<br />
• ∀x ∀y(x > y) (F);<br />
• ∀x ∃y(x > y) (V);<br />
• ∃y ∀x(x > y) <br />
<strong>Elementos</strong> <strong>de</strong> <strong>Lógica</strong> <strong>Matemática</strong> – p. 15/2