Quantificadores
“Para todo” e “existe” — as duas palavrinhas que transformam uma afirmação sobre um elemento numa afirmação sobre uma coleção inteira.
Universal e existencial
Dois símbolos, dois níveis de exigência
Universal — “para todo”
Afirma que a propriedade vale para todos os elementos, sem exceção. Basta um contraexemplo para derrubá-la.
“todo real ao quadrado é ≥ 0” (verdadeiro)
Existencial — “existe”
Afirma que ao menos um elemento tem a propriedade. Basta um exemplo para confirmá-la.
“existe inteiro com x+3=0” (x = −3)
Negar um quantificador
A regra de ouro: negar troca ∀ por ∃ (e vice-versa)
¬(∀x, P(x))
≡ ∃x, ¬P(x)
Negar “todos têm” = “existe (pelo menos um) que não tem”.
¬(∃x, P(x))
≡ ∀x, ¬P(x)
Negar “existe um que tem” = “nenhum tem” = “todos não têm”.
Exemplo do dia a dia
Afirmação: “Todo aluno passou.” (∀)
Negação correta: “Existe (pelo menos) um aluno que não passou.” (∃ ¬)
Negação errada: “Nenhum aluno passou.” (isso é forte demais)
Erros que todo mundo comete
Quantificadores enganam
⚠️ Negar como “nenhum”
O oposto de “todos” não é “nenhum”, e sim “existe ao menos um que não”.
⚠️ Trocar a ordem ∀∃
∀x ∃y é diferente de ∃y ∀x. “Todo aluno tem umacarteira” (cada um a sua) não é o mesmo que “existe umacarteira de todos os alunos” (uma só, compartilhada). A ordem muda completamente o sentido.
⚠️ Um exemplo “prova” o universal
Um caso confirma o ∃, mas não o ∀. Para “todos”, é preciso valer sempre.
Próximo passo
Combinatória
Contar possibilidades sem listar uma por uma.