Sumários
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
Cálculo de Predicados de 1ª Ordem
21 Novembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
Início do estudo do Cálculo de Predicados de 1ª Ordem. Motivação para este alargamento do Cálculo Proposicional. Indivíduos e Propriedades. Predicados unários, binários e n-ários. Alargamento da sintaxe do Cálculo. Letras predicativas e constantes individuais.
IV. Lógica de Predicados - 1
19 Novembro 2024, 13: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 no Cálculo Proposicional como sequentes do mesmo resulta em sequentes inválidos.
1.2. Análise fregeana da estrutura da proposição declarativa categórica: conceitos como funções cujos argumentos são objectos e cujos valores são valores de verdade; proposições singulares, afirmativas e negativas, como resultado da saturação de conceitos por objectos; 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) como conceitos de segunda ordem que exprimem propriedades de conceitos de primeira ordem, a saber, as propriedades de satisfação por todos os objectos do domínio e de não ser vazio.
1.4. O aumento de poder expressivo possibilitado pela nova notação da Lógica de Predicados: proposições relacionais e de quantificação múltipla.
L. Aristotélica
19 Novembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
Exercícios - T. Silogismo.