T11

22 Outubro 2019, 10:30 • Mário Jorge Edmundo

O conectivo bicondicional (ou equivalência material), semântica e tabela de verdade, traduções de sentenças da linguagem natural para a linguagem da LPO (se e somente se, se e apenas se, condição suficiente e necessária); exemplos de traduções; regras de substituição para o bicondicional; equivalência e bicondicional;  exemplos de outros conectivos (ou exclusivo, nem P nem Q, se P não Q, se P então Q caso contrário R); conjuntos de conectivos suficientes para exprimir todos os outros (não e e, não e ou e, nem-nem); método sistemático para pôr um conectivo na fnd (resp. fnc) usando a tabela de verdade.