Sumários
Mundo dos Blocos
21 Outubro 2020, 09:30 • Daniela Montrasio
- Exercício 6
- Exercício 7
- Exercício 9
- Exercício 16
- Correção do exercício 19
TP13_5
21 Outubro 2020, 08:00 • Bruno Dinis
Exemplos de tautologias, verdades lógicas e sentenças tt-satisfazíveis. Resolução dos exercícios 20, 22 e 23 (início)
T_5
20 Outubro 2020, 10:30 • Mário Jorge Edmundo
Consequência lógica, inferência válida e consequência lógica, exemplos, demonstrações e contra-exemplos; propriedades da consequência lógica, verdade lógica e consequência lógica, equivalência lógica e consequência lógica; tt-consequência, exemplos, tt-consequência e consequência lógica, exemplo.
TP11_5
20 Outubro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (sentenças e valores lógicos). Exercícios 6, 7, 9/16 e 13.
TP12_5
19 Outubro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (sentenças e valores lógicos). Exercícios 6, 7, 9/16 e 13.