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.
Implicações <strong>Lógica</strong>s<br />
• Noutras palavras, isto significa que quaisquer<br />
valores <strong>de</strong> x1,...,xn no universo U que<br />
tornam P verda<strong>de</strong>ira também tornam Q<br />
verda<strong>de</strong>ira.<br />
• Diz-se que P é logicamente equivalente a Q,<br />
e escreve-se P ⇔ Q, se P ⇒ Q e Q ⇒ P .<br />
<strong>Elementos</strong> <strong>de</strong> <strong>Lógica</strong> <strong>Matemática</strong> – p. 17/2