Sumários
Aula 7
4 novembro 2026, 14:00 • Patrícia da Conceição Martins Engrácia
Cálculo proposicional: consequência lógica e provas por argumentação.
Exercícios.
Cálculo de predicados.
Sintaxe: linguagem - constantes, variáveis, conectivos, quantificadores, predicados e funções
Semântica: argumentação e contra-exemplos.
Exercícios de simplificação e de dedução.
Teoria de conjuntos.
Definição explícita e implícita.
Definição de operações entre conjuntos: igualdade, inclusão, intersecção, união, complementaridade.
Propriedades e iniciação às demonstrações directas.
Aula 6
28 outubro 2026, 14:00 • Patrícia da Conceição Martins Engrácia
Introdução à lógica matemática.
Cálculo proposicional.
Sintaxe: proposições, linguagem, formalização.
Semântica: valor de verdade, tabelas de verdade, tautologia, contradição e contigência, consequência lógica.
Resolução de exercícios.
Aula 5
14 outubro 2026, 14:00 • Rosário Laureano
Estruturas algébricas com duas operações. Exercícios. Introdução aos isomorfismos.