Sumários
Traduções
21 Novembro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
Tradução de enunciados da linguagem corrente na linguagem do C. Predicados de 1ª ordem.
IV. Lógica de Predicados - 2
21 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.1. Regras de Formação.
2.2.2. Regras de Inferência.
2.2.2.1. Regras primitivas de inferência.
2.2.2.1.1. EQU
2.2.2.1.2. IQE
2.2.2.1.3. IQU
Exercícios
20 Novembro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
Primeiros exercícios de aplicação das regras primitivas do Cálculo. Principais restrições a IE e a GU.
IV. Lógica de Predicados - 1
20 Novembro 2023, 09:30 • 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.
1.2. Introdução da notação que permite representar a estrutura interna da proposição declarativa categórica no âmbito da Lógica de Predicados: proposições singulares afirmativas e negativas e proposições gerais (universal afirmativa, universal negativa, particular afirmativa e particular negativa).
1.3. O poder expressivo da notação da Lógica de Predicados: as proposições relacionais e de quantificação múltipla.
2. O Cálculo de Predicados.
2.1. Vocabulário do Cálculo de Predicados
Introdução e eliminação de quantificadores
16 Novembro 2023, 12:30 • Maria Adriana Sequeira da Silva Graça
Introdução e eliminação de quantificadores: as quatro regras primitivas do C. Predicados. GU, IU, GE e IE.