T_10

6 Novembro 2020, 09:30 • Mário Jorge Edmundo

O conectivo bicondicional (ou equivalência material), se e somente se e condição necessária e suficiente, exemplo de tradução, parênteses; a semântica do bicondicional, a tabela de verdade da equivalência material; regras de substituição para o bicondicional, negação da equivalência, equivalência lógica e bicondicional; completude vero-funcional, exemplos (incluindo o conectivo nem-nem).