TP12_12

12 Novembro 2020, 10:30 • Mário Jorge Edmundo

Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 42 (2), 43 (2,5), 44 (1).

Demonstrações Formais

12 Novembro 2020, 08:00 • Daniela Montrasio

• Exercício 42  (2);
• Exercício 43;
• Exercício 44  (2);

Demonstrações Formais

11 Novembro 2020, 09:30 • Daniela Montrasio

• Alguns exemplos mais de  demonstrações formais;
• Demonstração do Modus Tollendo Ponens;
• Exercício 39;
• Exercício 40;
• Exercício 41;

TP13_10

11 Novembro 2020, 08:00 • Bruno Dinis

Exemplos de demonstrações formais. Resolução dos exercícios 39, 40 e 41.

T_11

10 Novembro 2020, 10:30 • Mário Jorge Edmundo

As regras de inferência eliminação do condicional (modus ponens) e introdução do condicional, as regras de inferência eliminação do bicondicional e introdução do bicondicional; exemplos de demonstrações informais (incluindo modus tollens e, se o quadrado de um número inteiro é par, então o número é par); exemplos de demonstrações formais (incluindo modus tollens, silogismo hipotético, fortalecimento do antecedente, lei da dupla negação, lei do contra-recíproco e  regra de substituição para o condicional).