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.