Sumários
III. Lógica Proposicional - 1
20 Novembro 2020, 14:00 • António José Teiga Zilhão
Teoria das funções de verdade. As funções de verdade elementares: negação, conjunção, disjunção, implicação e equivalência. Conceito de uma álgebra das proposições. Definição de fórmula da álgebra das proposições. Definição de substituibilidade. Apresentação de um elenco de substituibilidades elementares. Definição de substituibilidade parcial. Derivação de substituibilidades não elementares - I.
Avaliação - II
19 Novembro 2020, 15:30 • António José Teiga Zilhão
Correcção do exercício escrito de avaliação das competências adquiridas no âmbito dos módulos I e II do programa.
Avaliação - I
17 Novembro 2020, 15:30 • António José Teiga Zilhão
Exercício escrito de avaliação das competências adquiridas no âmbito dos módulos I e II do programa.
II. Teoria dos Conjuntos - 10
13 Novembro 2020, 14:00 • António José Teiga Zilhão
Resolução de exercícios na Teoria dos Conjuntos.
II. Teoria dos Conjuntos - 9
12 Novembro 2020, 15:30 • António José Teiga Zilhão
Definição de relações na Teoria dos Conjuntos como subconjuntos de produtos cartesianos entre conjuntos. Domínio e contradomínio de uma relação. Propriedades de relações. Relações de equivalência, classes de equivalência e partições. Funções.