Sumários
IV. Lógica de Predicados - 7
3 Dezembro 2024, 13:00 • António José Teiga Zilhão
2. O Cálculo de Predicados.
2.3. Cálculo de Predicados com Identidade.
2.3.1. Regra específica de formação.
2.3.2. Regras específicas de inferência.
2.3.3. Sequentes demonstráveis no Cálculo de Predicados com identidade.
2.3.4. Teoremas da Identidade.
2.4. Semântica do Cálculo de Predicados.
2.4.1. Conceito de interpretação de uma fórmula bem formada do Cálculo de Predicados num domínio não vazio de objectos.
2.4.2. Conceitos de satisfazibilidade, validade e insatisfazibilidade de uma fórmula bem formada num domínio não vazio de objectos.
Traduções
3 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.
IV. Lógica de Predicados - 6
2 Dezembro 2024, 13: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. Derivabilidades e interderivabilidades do quadrado da oposição.
2.2.2.3.4. Alguns sequentes relacionais elementares dignos de nota.
2.2.2.4. Definição de Teorema do Cálculo de Predicados
2.2.2.4.1. Alguns teoremas do Cálculo de Predicados.
2.2.2.4.2. Regra de Introdução de Teoremas (RIT).
Traduções
2 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.
IV. Lógica de Predicados - 5
28 Novembro 2024, 13:00 • António José Teiga Zilhão