Sumários
IV. Lógica de Predicados - 5
28 Novembro 2023, 09:30 • António José Teiga Zilhão
A.
Resolução de exercícios no âmbito da Lógica de Predicados
2. O Cálculo de Predicados.
2.2. Sintaxe do Cálculo de Predicados.
2.2.2.2. Regras derivadas de inferência.
2.2.2.2.3. Alguns sequentes relacionais elementares dignos de nota.
2.2.2.2.4. Teoremas do Cálculo de Predicados
2.2.2.2.4.1. Definição de teorema do Cálculo de Predicados
2.2.2.2.4.2. Derivação de alguns teoremas do Cálculo de Predicados.
2.2.2.2.4.3. A Regra de Introdução de Teoremas (RIT) do Cálculo de Predicados.
2.2.2.2.5. Conclusão do estudo da sintaxe do Cálculo de Predicados.
IV. Lógica de Predicados - 4
27 Novembro 2023, 09:30 • 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 derivadas de inferência.
2.2.2.2.1. As interderivabilidades quantificacionais (IDQs).
2.2.2.2.2. Alguns sequentes elementares dignos de nota.
Negação de Quantificadores
23 Novembro 2023, 12:30 • Maria Adriana Sequeira da Silva Graça
Traduções - exercícios.
IV. Lógica de Predicados - 3
23 Novembro 2023, 09:30 • António José Teiga Zilhão
2. O Cálculo de Predicados.
2.2. Sintaxe do Cálculo de Predicados.
2.2.2.1. Regras primitivas de inferência.
2.2.2.1.4. EQE