Sumários
AULA 4
30 Setembro 2016, 09:30 • Fernando Ferreira
Mais leis lógicas (equivalências lógicas): leis comutativas e de idempotência. A noção informal de equivalência lógica. O sinal metalinguístico de equivalência lógica. A noção formal de equivalência tautológica (ou tt-equivalência). O método das tabelas de verdade para verificar tt-equivalências. Exemplo. A noção informal de verdade lógica. A noção formal de tautologia. Lei do terceiro excluído. Princípio da não contradição. O método das tabelas de verdade para verificar tautologias. Exemplo.
3 TP11
30 Setembro 2016, 08:00 • Fernando Ferreira
Exercícios 18 (de 1 a 6) e 19 (de 1 a 5). Exercício 13. Exercício 12. Exercício 10.
Aula 3 - TP12
29 Setembro 2016, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 5 (conclusão), 10, 12, 13 (alíneas (1) a (10)) e 15.
Aula 4 - TP14
29 Setembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Conclusão dos exercícios 5 e 13. Exercício 18. Início dos exercícios 19 e 20.
Aula 3 - TP14
28 Setembro 2016, 09:30 • Maria da Purificação Antunes Coelho
Exercícios 5 (mundo de Leibniz), 10, 12, 13 (alíneas (1) a (6)) e 15.