Sumários
Aula 4 TP14
27 Setembro 2018, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 12 (conclusão), 13, 14 e 18. Algumas alíneas do exercício 19.
Aula 3 TP14
26 Setembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Esclarecimento de dúvidas relativamente aos exercícios 2b) e 7. Exercícios 10 e 11. Início do exercício 12.
AULA 3
25 Setembro 2018, 10:30 • Fernando Ferreira
Leis distributivas, de De Morgan, da idempotência e de absorção. Comentário sobre a colocação de parênteses. Tabelas de verdade. A noção técnica de tt-equivalência. A noção informal de equivalência lógica. A noção informal de verdade lógica. A noção técnica de tautologia. Exemplos de tautologias: lei do terceiro excluído, lei da não contradição e um exemplo ad hoc.