Sumários

TP13 - aula 6

20 Outubro 2021, 12:30 • Maria da Purificação Antunes Coelho

Exercício 4 a) e algumas alíneas do exercício 9 da secção 2.2. Exercícios 1 e 3 da secção 2.3.


TP12 - aula 4

19 Outubro 2021, 10:30 • Maria da Purificação Antunes Coelho

Exercícios 2, 3, 4, 5, 7 e 12 a) da secção 2.1. Exercício 4 a) da secção 2.2.

AULA 4

19 Outubro 2021, 09:30 • Fernando Ferreira

Leis comutativas, associativas e de idempotência da conjunção e disjunção. O bicondicional. O "sse". Exemplo de demonstração duma equivalência (p. 108 do livro).

Conjuntos definidos por compreensão. Exemplos.
Leis de De Morgan para os quantificadores. As asserções aristotélicas (todo o P é Q; algum P é Q; nenhum P é Q; algum P não é Q).

TP 13 - aula 5

18 Outubro 2021, 13:30 • Maria da Purificação Antunes Coelho

Exercícios 2, 3, 4, 5, 7 e 11 da secção 2.1. Exercício 11 da secção 2.2.

TP14 - aula 5

18 Outubro 2021, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 2, 3, 4, 5, 7 e 12 a) da secção 2.1.

Tabela de verdade do bicondicional.
Exercícios 4 a) e 9 a) da secção 2.2.