Sumários
TP11_11
10 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 39, 40, 41.
TP12_11
9 Novembro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 39, 40, 41.
TP13_9
9 Novembro 2020, 08:00 • Bruno Dinis
Exemplos de demonstrações informais. Resolução dos exercícios 33, 35 e 37.
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).
TP11_10
6 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (demonstrações informais (com conectivos booleanos)); Exercícios 35, 33, 37.