Diferenças entre edições de "Quantificadores universais"
Linha 10: | Linha 10: | ||
Os quantificadores universais são as expressões: | Os quantificadores universais são as expressões: | ||
− | *<span style="color:red">'''todo(s)'''</span>, ou <span style="color:red">'''para todo(s)'''</span> | + | *<span style="color:red">'''todo(s)'''</span>, ou <span style="color:red">'''para todo(s)'''</span> que se representa pelo símbolo \(\forall\); |
+ | *<span style="color:red">'''existe'''</span>, ou <span style="color:red">'''existe pelo menos um'''</span> que se representa pelo símbolo \(\exists\). | ||
Revisão das 23h17min de 17 de dezembro de 2012
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\).