Sumários
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.
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