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.2. Demonstração de alguns sequentes elementares dignos de nota.
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.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