Sumários
TP14: Termos e sentenças com conectivos lógicos.
4 Outubro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 12, 13 e 18 do caderno de exercícios.
T_5
3 Outubro 2023, 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_4
3 Outubro 2023, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 12, 13, 18 e 19 (algumas alíneas)
TP12: Termos e sentenças com conectivos lógicos.
2 Outubro 2023, 12:00 • Mário João de Jesus Branco
Exerc. 12, 13 e, parcialmente, 18 do caderno de exercícios.