Sumários
Demonstrações informais
23 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 35, 36 e 37.
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.
Demonstrações informais
22 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 32, 33, 34 e 35.