Sumários

TP13 aula 16

13 Novembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Consulta do mini teste realizado a 6 de novembro. Exercícios 64 (conclusão), 79, 80 e 75(1).


Aula teórica 16

12 Novembro 2024, 10:30 • Maria da Purificação Antunes Coelho

As regras formais de eliminação da igualdade e de introdução da igualdade (continuação). 

Sentenças de Horn. Forma condicional de uma sentença de Horn. Exemplos.


TP11_16

12 Novembro 2024, 08:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios 62, 64.


TP12_17

11 Novembro 2024, 12:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios 62, 64.


TP13 aula 15

11 Novembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 64 (alíneas (1), (2) e (5)) e 74.