Quantificadores universais

Referência : Não citável Esta página ainda não foi aprovada.
Autor: João Nuno Tavares e Ângela Geraldo
Editor: Colocar nome do editor

---

Os quantificadores universais são as expressões:

• todo(s), ou para todo(s) que se representa pelo símbolo \(\forall\);
• existe, ou existe pelo menos um que se representa pelo símbolo \(\exists\).