Sumários
Aula 4 (TP12)
28 Setembro 2017, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 12, 13, 14 e algumas alíneas dos exercícios 18 e 19.
Aula 4 (TP14)
28 Setembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 11, 12, 13, 14 e conclusão do exercício 19.
Aula 3 (TP14)
27 Setembro 2017, 09:30 • Maria da Purificação Antunes Coelho
Conclusão dos exercícios 5 e 9. Exercícios 10, 15, 18 e algumas alíneas do exercício 19.
Aula 4 (TP 13)
27 Setembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 12, 13, 14 e conclusão do exercício 19.
AULA 3
26 Setembro 2017, 10:30 • Fernando Ferreira
Letras proposicionais. Os conetivos Booleanos da negação, da conjunção e da disjunção. Tabelas de verdade. Lei da dupla negação, leis comutativas, leis associativas, leis distributivas, leis da idempotência, leis da absorção, leis de De Morgan. Breve discussão sobre parênteses. Equivalências lógicas e equivalências tautológicas (tt-equivalências).