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.
Como dizer “não”<br />
Sejam, P(x),Q(x) sentenças abertas, U o<br />
universo <strong>de</strong> x. Verifique que são verda<strong>de</strong>iras:<br />
• ¬(∀x(P(x))) ↔ ∃x(¬P(x)) <br />
• ¬(∃x(P(x))) ↔ ∀x(¬P(x))) <br />
<strong>Elementos</strong> <strong>de</strong> <strong>Lógica</strong> <strong>Matemática</strong> – p. 22/2