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.
Conectivos Lógicos<br />
• “P→Q” é a mesma coisa que “(¬P) ou Q”; ou<br />
seja, é falsa se o lado esquerdo for<br />
verda<strong>de</strong>iro e o lado direito falso, e verda<strong>de</strong>ira<br />
em qualquer outro caso; exemplos:<br />
• “2 > 1 → 3 > 1” (V);<br />
• “2 > 1 → 1 > 3” (F);<br />
• “5 = 2 → 0 = 1 (V);<br />
• “P ↔Q” é a mesma coisa que “P→Q e<br />
Q→P”, ou seja, é verda<strong>de</strong>ira se ambas forem<br />
verda<strong>de</strong>iras ou ambas forem falsas.<br />
<strong>Elementos</strong> <strong>de</strong> <strong>Lógica</strong> <strong>Matemática</strong> – p. 7/2