Exercícios

10 Dezembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Exercícios de demonstração de validade de argumentos dados na linguagem corrente.

---

IV. Lógica de Predicados - 9

9 Dezembro 2024, 13:00 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica de Predicados.

---

Exercícios

9 Dezembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Exercícios de demonstração de validade argumentativa no C. Predicados.

---

IV. Lógica de Predicados - 8

5 Dezembro 2024, 13:00 • António José Teiga Zilhão

2. O Cálculo de Predicados. 

2.4. Semântica do Cálculo de Predicados. 

2.4.3. Validade k-ária e validade universal. 

2.4.4. Definição de sequente universalmente válido. 

2.4.5. Demonstração da invalidade de fórmulas do Cálculo de Predicados por meio do recurso a interpretações.

---

Traduções

5 Dezembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Tradução de enunciados na linguagem corrente para a linguagem do Cálculo de Predicados de 1ª ordem.

---