Sumários
TP12_16
26 Novembro 2020, 10:30 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com condicional e bicondicional)); Exercícios 75 (1,2), 76 (1), 77 (1,3).
Demonstrações formais
26 Novembro 2020, 08:00 • Daniela Montrasio
- Mais exemplos de demonstrações formais;
- Exercício 75;
- Exercício 77;
Demonstrações informais
25 Novembro 2020, 09:30 • Daniela Montrasio
- Mais exemplos de demonstrações informais;
- Exercício 64;
- Exercício 68;
TP13_14
25 Novembro 2020, 08:00 • Bruno Dinis
Mais exemplos de demonstrações informais. Resolução dos exercícios 64 e 68.
T_15
24 Novembro 2020, 10:30 • Mário Jorge Edmundo
Fórmulas logicamente equivalentes; Propriedades da equivalência lógica: reflexividade, simetria, transitividade, princípio da substituição de equivalentes); Regras de substituição de equivalentes: idempotência, comutatividade, associatividade, distributividade, absorção, negação dupla, leis de De Morgan, regras para a condição universal e para condição impossível, regra para o condicional e para o bicondicional, comutatividade para os quantificadores, quantificação supérflua, segundas leis de De Mrogan, quantificadores e disjunção, quantificadores e conjunção, contra-exemplo, quantificadores e condicional, substituição de variáveis mudas.