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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
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 />
<strong>Elementos</strong> <strong>de</strong> <strong>Lógica</strong> <strong>Matemática</strong> – p. 9/2