Sumários

As Regras de Inferência

17 Novembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça

As Regras de Inferência para o Cálculo de Predicados: introdução e eliminação de quantificadores.

Regras Instanciação Universal -IU-, Generalização Universal -GU-, Instanciação Existencial -IE-  e Generalização Existencial -GE-. Principais restrições a IE e GU. Seu significado filosófico.

IV. Lógica de Predicados - 1

17 Novembro 2022, 09:30 • António José Teiga Zilhão

Introdução à Lógica de Predicados: modo de representação da estrutura interna da proposição declarativa categórica na notação da Lógica de Predicados; o poder expressivo da notação da Lógica de Predicados. 

Cálculo de Predicados - aspectos preambulares

15 Novembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

O âmbito de um quantificador.

Variáveis livres e ligadas.
Funções proposicionais e proposições.
Tradução standard de proposições dos tipos A, E, I e O no C. Predicados.

III. Lógica Proposicional - 7

15 Novembro 2022, 09:30 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica Proposicional.

Cálculo de Predicados de 1ª Ordem

14 Novembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Cálculo de Predicados de 1ª Ordem: início do estudo.

Indivíduos e Propriedades. Os quantificadores (universal e existencial).
Sintaxe do Cálculo.