Sumários

Avaliação - III

19 Dezembro 2019, 18:00 António José Teiga Zilhão

Correcção do exercício escrito. Conclusão do curso de Lógica de 2019.


Avaliação - II

18 Dezembro 2019, 18: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 - 7

16 Dezembro 2019, 18:00 António José Teiga Zilhão

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


IV. Lógica de Predicados - 6

12 Dezembro 2019, 18:00 António José Teiga Zilhão

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


IV. Lógica de Predicados - 5

11 Dezembro 2019, 18:00 António José Teiga Zilhão

Teoremas do Cálculo de Predicados. A Regra de Introdução de Teoremas (RIT). Semântica do Cálculo de Predicados (satisfazibilidade, insatisfazibilidade e validade num domínio; validade universal). Demonstração da invalidade de fórmulas por meio da sua interpretação num domínio dado.