preposições e valores lógicos ; operações lógicas ; propriedades das operações lógicas ; conjuntos e operações com conjuntos ; produto cartesiano