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 ∀; |
+ | *<span style="color:red">'''existe'''</span>, ou <span style="color:red">'''existe pelo menos um'''</span> que se representa pelo símbolo ∃. | ||
Revisão das 00h17min de 18 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 ∀;
- existe, ou existe pelo menos um que se representa pelo símbolo ∃.