Sumários

Avaliação - III

16 Dezembro 2021, 14:00 • António José Teiga Zilhão

Exercício escrito de avaliação das competências adquiridas no âmbito dos módulos III e IV do programa.

IV. Lógica de Predicados - 4

13 Dezembro 2021, 14:00 • António José Teiga Zilhão

Resolução de exercícios na Lógica de Predicados.

IV. Lógica de Predicados - 3

9 Dezembro 2021, 14:00 • António José Teiga Zilhão

B. O Cálculo de Predicados 

3. Teoremas do Cálculo de Predicados.  
3.1. A Regra de Introdução de Teoremas (RIT).  

C. Semântica do Cálculo de Predicados  

1.Satisfazibilidade, insatisfazibilidade e validade num domínio;  
2. Validade k-ária e validade universal;  
3. Demonstração da invalidade de fórmulas por meio da sua interpretação num domínio dado.

D. Resolução de exercícios na Lógica de Predicados.

IV. Lógica de Predicados - 2

6 Dezembro 2021, 14:00 • António José Teiga Zilhão

B. O Cálculo de Predicados 

2.2. Regras de Inferência 
2.2.4. Regras de inferência primitivas específicas do Cálculo de Predicados: a regra EQE. 
2.2.5. Regras de inferência derivadas: IDQs (1,2,3,4) 
2.2.6. Alguns sequentes mais salientes do Cálculo de Predicados. 

IV. Lógica de Predicados - 1

2 Dezembro 2021, 14:00 • António José Teiga Zilhão

A. A Lógica de Predicados - fundamentos. 
B. 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. EQU

2.2.2. IQE

2.2.3. IQU