AULA 12
30 Outubro 2018, 10:30 • Fernando Ferreira
Como pôr um conetivo em FND e em FNC tendo a sua tabela de verdade. Completude vero-funcional. O conetivo nem-nem.
Modus ponens, modus tollens. Método da domonstração condicional. Exemplos de demonstrações informais.