Sumários

13 Outubro 2017, 09:30 • Fernando Ferreira

Demonstração (pelo método da contradição) de que a raíz de 2 não é um número racional.

As regras informais de introdução e eliminação (ex falso quodlibet) da contradição.

Introdução ao sistema formal de dedução natural de FItch. As regras (formais) de introdução e eliminação da conjunção. Um exemplo (muito) simples.

13 Outubro 2017, 08:00 • Fernando Ferreira

Exercícios 33 (segunda parte), 34, 35 e 36.

12 Outubro 2017, 10:30 • Maria da Purificação Antunes Coelho

Exercícios 30, 31 e 33 e algumas alíneas do exercício 24.

12 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 24 (alíneas 2 e 3) e 33. Apresentação das regras (formais) de dedução associadas à conjunção e à disjunção. Início do exercício 39.

11 Outubro 2017, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 25, 28, 29, 31 e 24(1).