Sumários
Aula teórica 14
28 Outubro 2025, 10:30 • Maria da Purificação Antunes Coelho
Deduções informais envolvendo a implicação. As inferências Modus Ponens e Modus Tollens. Método de dedução condicional. Breve referência ao método de demonstração por contrarrecíproco. Regras formais de eliminação da implicação e de introdução da implicação. Exemplos.
TP12 aula 13
27 Outubro 2025, 12:00 • Maria da Purificação Antunes Coelho
Exercícios 47 (conclusão), 50, 51, 52 e 55.
TP14 aula 12
24 Outubro 2025, 11:30 • Maria da Purificação Antunes Coelho
Conclusão dos exercícios 40 e 41. Exercício 43 e início do exercício 47.
Aula teórica 13
24 Outubro 2025, 09:30 • Maria da Purificação Antunes Coelho
Métodos para, a partir da tabela de verdade de uma sentença S, obter uma forma normal disjuntiva e uma forma normal conjuntiva de S. Completude vero-funcional. Exemplos de conjuntos de conetivos vero-funcionalmente completos. O conetivo "nem nem" (ou NOR).