Sumários
IV. Lógica de Predicados - 7
9 Dezembro 2025, 09:00 • António José Teiga Zilhão
2.3. Semântica do Cálculo de Predicados.
2.3.1. Definição de interpretação de uma fórmula bem formada do Cálculo de Predicados num domínio não vazio de objectos.
2.3.2.
Conceitos de satisfazibilidade, validade, insatisfazibilidade e invalidade de uma
fórmula bem formada num domínio não vazio de objectos.
2.3.3. Interpretação de fórmulas do Cálculo de Predicados em domínios não vazios e finitos de objectos
2.3.4. Conceitos de validade k-ária e de validade universal.
2.3.5. Definição de sequente universalmente válido.
2.3.6. Demonstração da invalidade de fórmulas do Cálculo de Predicados por meio do recurso a interpretações.
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