Sumários
1.3. Quantificação
17 Setembro 2026, 08:00 • Fátima Fabião
Correcção com discussão dos exercícios:
1.2.6 1.4.1 a) b) c) 1.4.2 a) b) c) d) e) f) g) 1.4.3 a) c) 1.6.3 a)
Desafio 1: A negação da equivalência, é equivalente à disjunção exclusiva? (relacionar com exercício 1.2.6)
Exercícios propostos em aula:
1.7.1 b) 1.7.3 1.7.4
1.1 Designações e Proposições
10 Setembro 2026, 08:00 • Fátima Fabião
Resolução e discussão dos exercícios:
1.2.2 1.2.5 1.2.7
Desafio 1.
Elementos de Lõgica Bivalente 2
8 Setembro 2026, 08:00 • FILIPE SERRA DE OLIVEIRA
A implicação. Definição e propriedades. Implicação contra-recíproca.
Elementos de Lógica Bivalente 1
7 Setembro 2026, 08:00 • FILIPE SERRA DE OLIVEIRA
Apresentação da unidade curricular.
Proposições e Designações.
Operadores sobre proposições: equivalência, disjunção, conjunção.