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.