Sumários
TP12: Consequência lógica e tt-equivalência.
23 Outubro 2023, 12:00 • Mário João de Jesus Branco
Exerc. 30(3)-(6), 31(1) e, de duas maneiras, 31(3).
TP14: Consequência lógica e tt-equivalência; demonstrações formais.
20 Outubro 2023, 11:30 • Mário João de Jesus Branco
T11_10
20 Outubro 2023, 09:30 • Mário Jorge Edmundo
O conectivo bicondicional, se e somente se e condição necessária e suficiente, nota sobre parênteses; a semântica do bicondicional, a tabela de verdade do bicondicional; regras de substituição para o bicondicional, negação da equivalência; equivalência lógica e bicondicional; complete vero-funcional, exemplo, o conectivo nem-nem.