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.