Sumários
Demonstrações informais
21 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 32, 33 e 34.
T10
18 Outubro 2019, 09:30 • Mário Jorge Edmundo
Estratégias de demonstração: discussão de dois casos (uma das leis de De Morgan e o princípio do terceiro excluído). Conectivo condicional (ou implicação material), semântica e tabela de verdade, traduções da linguagem natural para a linguagem da LPO (se... então, se, desde que, só se, somente se, apenas se, a menos que); exemplos de traduções; antecedente e consequente, condição suficiente e condição necessária, implicação recíproca, implicação contra-recíproca; regra de substituição para o condicional; negação da implicação; lei do contra-recíproco; consequência e implicação.
Mini-teste
18 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Realização do 1º miniteste em 3 turnos de 25 minutos cada