Sumários

Conclusão do curso

18 Dezembro 2020, 14:00 • António José Teiga Zilhão

Conclusão do curso de Lógica de 2020.

Avaliação - III

17 Dezembro 2020, 15:30 • António José Teiga Zilhão

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

IV. Lógica de Predicados - 4

15 Dezembro 2020, 15:30 • António José Teiga Zilhão

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

IV. Lógica de Predicados - 3

11 Dezembro 2020, 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.

IV. Lógica de Predicados - 2

10 Dezembro 2020, 15:30 • António José Teiga Zilhão

B. O Cálculo de Predicados


2.2. Regras de Inferência
2.2.1. Regras de inferência primitivas específicas do Cálculo de Predicados: EQU, IQE, IQU, EQE.
2.2.2. Regras de inferência derivadas: IDQs (1,2,3,4)
2.2.3. Alguns sequentes mais salientes do Cálculo de Predicados.