Fichas de trabalho de apoio ao ensino da matemática do 10º ano.

Proposições; Equivalência. Negação.

Quantificadores universal e existencial. Contraexemplo.

Conjunto definido por uma condição. Reunião e interseção de conjuntos.

Subconjunto de um conjunto.

Introdução à lógica bivalente. Operações lógicas (parte I)