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.
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.