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.

TP13_5

4 Outubro 2023, 08:00 Mário Jorge Edmundo


Resolução dos exercícios 20, 22 e 23.

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.