Sumários
Aula 2
8 Fevereiro 2024, 18:00 • Elsa Negas
Introdução à lógica: disjunção, implicação.
Propriedades e operações lógicas.
Aula 1
7 Fevereiro 2024, 18:00 • Elsa Negas
Introdução à lógica: proposições, valor lógico de uma proposição, equivalência, negação, conjunção.
Aula 1
7 Fevereiro 2024, 18:00 • João Pedro Rijo
Proposição, valor lógico de uma proposição, princípio de não contradição e princípio do terceiro excluído. Proposições equivalentes. Operações lógicas entre proposições: Negação, conjunção, disjunção, implicação e equivalência. Tabelas de verdade. Lei da dupla negação. Ordem das operações lógicas. Propriedades da negação, da conjunção e da disjunção: propriedades comutativas e associativas, propriedades distributivas e primeiras leis de Morgan. Propriedades da implicação e da equivalência. Tautologias e contradições.
Aula 1
7 Fevereiro 2024, 18:00 • José Manuel Silva Guerreiro Loução de Matos
- Proposição, valor lógico de uma proposição, princípio de não contradição e princípio do terceiro excluído. Proposições equivalentes
- Operações lógicas entre proposições: Negação, conjunção, disjunção, implicação e equivalência. Tabelas de verdade.
- Lei da dupla negação
- Ordem das operações lógicas
- Propriedades da negação, da conjunção e da disjunção: propriedades comutativas e associativas, propriedades distributivas e primeiras leis de Morgan
- Propriedades da implicação e da equivalência
- Tautologias e contradições