Sumários

IV. Lógica de Predicados - 4

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

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

Traduções

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

Traduções de frases da linguagem natural / corrente para a linguagem do C. Predicados.

Predicados binários e quantificação dupla.

IV. Lógica de Predicados - 3

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

As regras primitivas de inferência do Cálculo de Predicados (cont.): IQU e EQE.

Regras derivadas do Cálculo de Predicados: as interderivabilidades quantificacionais (IDQ 1, IDQ 2, IDQ 3, IDQ 4) - derivação das mesmas a partir das regras primitivas.

Alguns sequentes elementares do Cálculo de Predicados.

Traduções

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

Traduções de enunciados da linguagem natural no C. Predicados.

IV. Lógica de Predicados - 2

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

O Cálculo de Predicados.

1. Vocabulário;

2. Sintaxe;

2.1. Regras de Formação.

2.2. Regras de Inferência:

2.2.1. Regras primitivas de inferência

2.2.1.1. EQU

2.2.1.2. IQE