Sumários

Sintaxe do Cálculo

15 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Sintaxe do Cálculo:

Letras predicativas (de unárias a n-árias).
Constantes e variáveis individuais.
Variáveis individuais livres e ligadas.
Os quantificadores: universal e existencial.
Fórmulas abertas e fechadas.
Importação de todo o aparato do Cálculo Proposicional.

Formalização na linguagem da lógica de predicados

13 Novembro 2018, 18:00 • Ricardo Santos

Exercícios de formalização na linguagem da lógica de predicados, com quantificação e predicados de um lugar. Exercícios de leitura de fórmulas e de ‘retroversão’. O quadrado da oposição (aristotélico) e as relações entre frases contraditórias.

Introdução ao Cálculo de Predicados de Primeira Ordem

13 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Introdução ao Cálculo de Predicados de Primeira Ordem: indivíduos e propriedades.

Formalização na linguagem da lógica de predicados

12 Novembro 2018, 18:00 • Ricardo Santos

Exercícios de formalização na linguagem da lógica de predicados, com quantificação e predicados de um lugar. O estabelecimento de um ‘dicionário’ e o processo de análise lógica de frases complexas da linguagem natural.

Árvores Semânticas

12 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Árvores Semânticas - Exercícios.