Contato

  • Jean Paulo Martins (jeanmartins utfpr edu br)
  • Sala 105, Bloco S (UTFPR - Campus Pato Branco)

Conteúdo

Equivalências

1 $\phi\to\psi$ $\neg\phi\lor\psi$
2 $\phi\leftrightarrow\psi$ $(\phi\land\psi)\lor(\neg\phi\land\neg\psi)$
3 $\neg(\phi\land\psi)$ $\neg\psi \lor \neg \psi$
4 $\neg(\phi\lor\psi)$ $\neg\phi\land\neg\psi$
5 $\neg(\phi\to\psi)$ $\phi\land \neg \psi$
6 $\neg(\phi\leftrightarrow\psi)$ $(\phi\land \neg\psi)\lor (\neg\phi\land\psi)$

Exercícios

Referências

Seção 2.1: Pg. 71, Logica - Huth & Ryan (PDF).

Capítulo 6: Pgs. 254-284, Logica - John Nolt (PDF).