Aula teórica 20

18 Novembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Termos e fórmulas de uma linguagem da lógica de primeira ordem. Alcance de um quantificador. Ocorrências de variáveis mudas e ocorrências de variáveis livres. Sentenças.

---

TP11_20

18 Novembro 2025, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 78, 79 (1,2,3,4),  80 (1-20)

---

TP12 aula 19

17 Novembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 78, 79 (1, 2), 80 (1 - 24) e 85.

---

TP14 aula 18

14 Novembro 2025, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 74 (5, 6), 76 e 77 e 79(1).

---

Aula teórica 19

14 Novembro 2025, 09:30 • Maria da Purificação Antunes Coelho

Expressões com variáveis - introdução informal. Quantificador universal e quantificador existencial, tradução de afirmações da forma "Qualquer que seja x, P(x)" (respetivamente, "Existe x tal que P(x)"). As quatro formas aristotélicas. Exemplos.

---