Sumários
T_10
21 Outubro 2022, 09:30 • Mário Jorge Edmundo
O conectivo bicondicional (ou equivalência material); se e somente se e condição necessária e suficiente; parêntesis; a semântica do bicondicional; a tabela de verdade; regras de substituição para o bicondicional; negação da equivalência; equivalência lógica e bicondicional; completude vero-funcional, o conectivo nem-nem.
T_9
18 Outubro 2022, 10:30 • Mário Jorge Edmundo
O conectivo condicional (ou implicação material); antecedente e consequente, recíproco e contra-recíproco; parêntesis; a semântica do condicional; a tabela de verdade; regras de substituição; a negação da implicação; a lei do contra-recíproco; consequência lógica e implicação; 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.