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.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