Sumários

Aula 20 (TP14)

30 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 123 (alíneas 6 a 10), 121 (alíneas 1 a 15), 134 e 136. Dedução formal do argumento do exercício 134.

Aula 19 (TP 14)

29 Novembro 2017, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 102, 106, 100, 119, 123 (alíneas 1 a 5) e 124 (alíneas 1 a 3).

Aula 21 (TP13)

29 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 123 (alíneas 6 a 10), 124 (alíneas 1, 2, 3 e 9) e 121 (alíneas 1 a 6). Exercício 134 e dedução formal correspondente.

AULA 21

28 Novembro 2017, 10:30 • Fernando Ferreira

Exemplos de algumas traduções.

Demonstrações informais e formais com quantificadores. Exemplo. As regras da intanciação universal (AElim), generalização existencial (EIntro). Constantes novas para nomear objetos que advêm de asserções de existência: a regra da instanciação existencial (EElim). Exemplo.

TP 21

28 Novembro 2017, 08:00 • Fernando Ferreira

Exercícios 107, 109, 110, 117, 118 e 120.