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).