Sumários
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.3. IQU
2.2.2.2.4. EQE
24 Novembro 2025, 13:00
•
Maria Adriana Sequeira da Silva Graça
Exercícios.
24 Novembro 2025, 09: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 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.
2.2.2.2.1. EQU
2.2.2.2.2. IQE
20 Novembro 2025, 13:00
•
Maria Adriana Sequeira da Silva Graça
Não houve aula.
20 Novembro 2025, 09:00
•
António José Teiga Zilhão
1. Introdução à Lógica de Predicados
1.1. O carácter não congruente da Lógica Aristotélica e da Lógica Proposicional - a representação de inúmeras inferências válidas da Lógica Aristotélica como sequentes do Cálculo Proposicional origina sequentes inválidos do mesmo.
1.2. Análise fregeana da estrutura da proposição declarativa categórica.
1.2.1. Primitivos ontológicos: objectos e funções. A ideia de saturação - entidades saturadas (objectos) e entidades insaturadas (funções).
1.2.2. Conceitos vistos como funções cujos argumentos são objectos e cujos valores são valores de verdade; a
extensão de um conceito como a classe de todos os argumentos que são
por seu intermédio correlacionados com o valor de verdade Verdadeiro.
Relações vistas como conceitos que necessitam de ser saturados por mais do que
um argumento.
1.2.3. As proposições singulares, afirmativas e negativas, como expressão da saturação de conceitos por objectos.
1.2.4.
Uso
das conectivas proposicionais para dar conta do modo como podem
obter-se conceitos complexos a partir de conceitos simples;
universalidade e particularidade (i.e., quantificações universal e
existencial) vistas como conceitos de segunda ordem que exprimem propriedades
de conceitos de primeira ordem, a saber, e respectivamente, a
propriedade de ser satisfeito por todos os objectos do domínio e a
propriedade de não ser vazio.
1.3. A simbologia da Lógica de Predicados como modo de exprimir formalmente a análise fregeana.
1.4.
O aumento de poder expressivo possibilitado pela análise fregeana e pela notação da Lógica
de Predicados que a exprime: proposições relacionais e proposições de quantificação múltipla.