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 />
Variáveis Livres<br />
• x > 0 (x é variável livre);<br />
• ∃y(y > x) (x é livre, y é não-livre);<br />
• ∀x ∃y(y > x) (nenh<strong>uma</strong> das variáveis é<br />
livre);<br />
• ∀ǫ ∃δ(0 < |x − a| < δ → |x 2 − a 2 | < ǫ) <br />
(x e a são livres, ǫ e δ são não-livres).<br />
<strong>Elementos</strong> <strong>de</strong> <strong>Lógica</strong> <strong>Matemática</strong> – p. 9/2