Diferenças entre edições de "Quantificadores universais"
| Linha 11: | Linha 11: | ||
*<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">'''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\). | *<span style="color:red">'''existe'''</span>, ou <span style="color:red">'''existe pelo menos um'''</span> que se representa pelo símbolo \(\exists\). | ||
| − | ===Exemplos=== | + | ====Exemplos==== |
Vamos ver o seu significado nas seguintes expressões: | Vamos ver o seu significado nas seguintes expressões: | ||
| Linha 28: | Linha 29: | ||
| − | ===Como negar proposições com os quantificadores=== | + | ====Como negar proposições com os quantificadores==== |
Revisão das 00h45min 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
Índice |
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\).
Exemplos
Vamos ver o seu significado nas seguintes expressões:
\((\forall n \in \mathbb{Z})(\exists k \in \mathbb{Z}): n=2k\) \(\quad\) que se lê \(\quad\) para todo o \(n\) pertencente a \(\mathbb{Z}\) e existe um \(k\) pertencente a \(\mathbb{Z}\) tal que \(n=2k\)
Esta proposição diz que todo o número inteiro é par, o que é evidente que é falso.
\((\exists n \in \mathbb{Z})(\exists k \in \mathbb{Z}): n=2k\) \(\quad\) que se lê \(\quad\) existe \(n\) pertencente a \(\mathbb{Z}\) e existe um \(k\) pertencente a \(\mathbb{Z}\) tal que \(n=2k\)
Esta proposição diz que existe um número \(n\) par, o que verdadeiro!
