Sumários
TP12_10
5 Novembro 2020, 10:30 • Mário Jorge Edmundo
Exemplos (demonstrações informais (com conectivos booleanos)); Exercícios 35, 33, 37.
Demonstrações Informais
5 Novembro 2020, 08:00 • Daniela Montrasio
- Mais alguns exemplos de demonstrações informais;
- Exercício 35;
- Exercício 37;
tt- consequências
4 Novembro 2020, 09:30 • Daniela Montrasio
- Revisão do conceito de tt- consequência;
- Exercício 30;
- Exercício 31;
TP13_8
4 Novembro 2020, 08:00 • Bruno Dinis
Exemplos de tt-consequência. Resolução dos exercícios 30 e 31.
T_9
3 Novembro 2020, 10:30 • Mário Jorge Edmundo
O conectivo condicional (ou implicação material), só se e condição necessária, desde que e condição suficiente, a menos que e a não ser que, exemplos de traduções e parênteses; a semântica do condicional, a tabela de verdade da implicação material; regra de substituição para o condicional, negação da implicação e lei do contra-recíproco; consequência lógica e implicação, antecedente e consequente, recíproco e contra-recíproco.