Sumários
AULA 12
27 Outubro 2017, 09:30 • Fernando Ferreira
Nota sobre a tradução do "somente se".
O método de obter, a partir duma função proposicional, uma fórmula do cálculo proposicional em FND cuja tabela de verdade dê a função proposicional de que se partiu (o mesmo para FNC). Completude vero-funcional. O conetivo "nem nem".
Aula 10 (TP14)
25 Outubro 2017, 09:30 • Maria da Purificação Antunes Coelho
Entrega do primeiro mini-teste. Resolução dos exercícios 41, 42(2) e 43(1,2 e 3).