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.