Semântica do Cálculo de Predicados

4 Dezembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Semântica do Cálculo de Predicados: expansão de fórmulas do C. Predicados num domínio de dois objectos abstractos. Prova de invalidade de argumentos.

---

IV. Lógica de Predicados - 6

4 Dezembro 2025, 09:00 • António José Teiga Zilhão

2. O Cálculo de Predicados.

2.2. Sintaxe do Cálculo de Predicados. 

2.2.2.3. Regras derivadas de inferência.

2.2.2.3.3. Demonstração de alguns sequentes predicativos notáveis - 2

2.2.2.3.4. Demonstração de alguns sequentes relacionais notáveis.

2.2.2.4. Teoremas do Cálculo de Predicados

2.2.2.4.1. Definição de Teorema do Cálculo de Predicados

2.2.2.4.2. Demonstração de alguns teoremas notáveis do Cálculo de Predicados.

2.2.2.4.3. Definição de substituição no âmbito do Cálculo de Predicados

2.2.2.4.4. Regra de Introdução de Teoremas (RIT).

---

Exercícios

3 Dezembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

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

---

IV. Lógica de Predicados - 5

2 Dezembro 2025, 09:00 • António José Teiga Zilhão

Resolução de exercícios no âmbito do Cálculo de Predicados.

---

Traduções

27 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Traduções de frases na linguagem corrente para o C. Predicados.

---