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.