Sumários
TP13_9
15 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações informais. Resolução dos exercícios 33 e 37.
TP14_10
12 Novembro 2021, 11:30 • Mário Jorge Edmundo
Exemplos de demonstrações formais. Resolução dos exercícios 39, 40 e 41.
T_10
12 Novembro 2021, 09:30 • Mário Jorge Edmundo
O conectivo bicondicional ( equivalência material); se e somente se e condição necessária e suficiente; nota sobre parênteses; a semântica do incondicional e tabela de verdade; regras de substituição para o bicondicional, negação do bicondicional; equivalência lógica e bicondicional. Completude vero-funcional, exemplo, o conectivo nem-nem.
TP11_10
12 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais. Resolução dos exercícios 39, 40 e 41.
Demonstrações informais.
11 Novembro 2021, 10:30 • Maria João Antunes Dias Gouveia
Correcção do ex. 31. Resolução dos exs 33 e 37.