Sumários
IV. Lógica de Predicados - 4
27 Novembro 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 do Cálculo de Predicados.
2.2.2.3.1. As quatro interderivabilidades quantificacionais (IDQs).
2.2.2.3.1.1. Enunciado e demonstração de cada uma delas.
2.2.2.3.2. Demonstração de alguns sequentes predicativos notáveis - 1.
Traduções
26 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça
IV. Lógica de Predicados - 3
25 Novembro 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.2. Regras primitivas de inferência específicas do Cálculo de Predicados - 2.
2.2.2.2.3. IQU
2.2.2.2.4. EQE
IV. Lógica de Predicados - 2
24 Novembro 2025, 09:00 • António José Teiga Zilhão
2. O Cálculo de Predicados.
2.1. Vocabulário do Cálculo de Predicados.
2.2. Sintaxe do Cálculo de Predicados.
2.2.1. Regras de Formação.
2.2.2. Regras de Inferência.
2.2.2.1. As regras de inferência do Cálculo Proposicional como regras de inferência do Cálculo de Predicados.
2.2.2.2. Regras primitivas de inferência específicas do Cálculo de Predicados - 1.
2.2.2.2.1. EQU
2.2.2.2.2. IQE