Sumários

3 Dezembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 101, 103, 107, 110, 133, 137, 139.

30 Novembro 2018, 09:30 • Fernando Ferreira

Quantificação vazia.

Mudança de variável muda. Leis da quantificação nula.

Introdução às deduções informais e formais com quantificadores. As regras (AElim), instanciação universal, e (EIntro), generalização existencial.

30 Novembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 99 (23, 24, 27, 29), 101, 103, 104, 106 [parte] e 108 [parte].

29 Novembro 2018, 10:30 • Fernando Ferreira

Exercícios 97(1)(5), 98(1)(3), 99, 101 e 103.

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

Exercícios 104, 99, 101 e 103.