Visão geral
Conjuntos e lógica formam uma linguagem de precisao. Conjuntos ajudam a separar e combinar objetos; lógica ajuda a decidir se uma afirmacao e verdadeira, falsa, equivalente ou consequencia de outra.
Antes de estudar
Para aproveitar melhor está matéria, revise primeiro os blocos abaixo. Eles evitam que a dificuldade vire só manipulação pesada.
| Revise | Por quê |
|---|---|
| aritmética básica | serve como base para os primeiros exercícios desta trilha |
| leitura simbólica simples | serve como base para os primeiros exercícios desta trilha |
| lógica proposicional depois da base de conjuntos | serve como base para os primeiros exercícios desta trilha |
Trilhas principais
Elementos, pertinencia, subconjuntos, conjunto vazio, universo e formas de representacao.
- pertence e não pertence
- subconjunto e igualdade
- conjunto vazio e universo
- formas de representar
Uniao, intersecao, diferença, complementar, produto cartesiano e principio da inclusão-exclusão.
- operações entre conjuntos
- leis de De Morgan
- conjuntos disjuntos
- contagem com diagramas
Proposicoes, conectivos, tabelas verdade, equivalências, quantificadores e negacoes.
- proposicao simples e composta
- conectivos logicos
- condicional e bicondicional
- quantificadores
Ordem de estudo
Aprenda a notacao
Saber o que significam pertence, contido e subconjunto evita confusoes em todo o resto.
Traduza operações em frases
Uniao e "ou"; intersecao e "e"; diferença e "está em um, mas não no outro".
Use lógica para validar argumentos
Conectivos e quantificadores ajudam a negar frases corretamente e identificar equivalências.
Apoios
Se as fórmulas de contagem parecerem secas, desenhe diagramas. Se lógica ficar abstrata, troque simbolos por frases curtas antes de montar a tabela verdade.