T_9

3 Novembro 2020, 10:30 • Mário Jorge Edmundo

O conectivo condicional (ou implicação material), só se e condição necessária, desde que e condição suficiente, a menos que e a não ser que, exemplos de traduções e parênteses; a semântica do condicional, a tabela de verdade da implicação material; regra de substituição para o condicional, negação da implicação e lei do contra-recíproco; consequência lógica e implicação, antecedente e consequente, recíproco e contra-recíproco.