Sumários
IV. Lógica de Predicados - 4
26 Novembro 2024, 13: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.
2.2.2.3.1. As interderivabilidades quantificacionais (IDQs).
2.2.2.3.2. Alguns sequentes elementares dignos de nota.
Quatro Regras Primitivas
26 Novembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
IU, GU, IE, GE. Principais restrições. Primeiras derivações usando estas regras.
IV. Lógica de Predicados - 3
25 Novembro 2024, 13: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.3. IQU
2.2.2.2.4. EQE
Quantificadores
25 Novembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
Os quantificadores universal e existencial. Diferença entre proposições gerais e singulares. Variáveis livres e ligadas.
IV. Lógica de Predicados - 2
21 Novembro 2024, 13: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 do Cálculo Proposicional como regras 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.1. EQU
2.2.2.2.2. IQE