Diferenças entre edições de "Quantificadores universais"
Da WikiCiências
| Linha 19: | Linha 19: | ||
''(∀n∈Z)(∃k∈Z):n=2k'' | ''(∀n∈Z)(∃k∈Z):n=2k'' | ||
| − | <span style="color: | + | <span style="color:green">que se lê:</span> |
para todo o n pertencente a Z e existe um k pertencente a Z tal que n=2k, ou seja, esta proposição diz que ''todo o número inteiro é par'', o que é evidente que é falso. | para todo o n pertencente a Z e existe um k pertencente a Z tal que n=2k, ou seja, esta proposição diz que ''todo o número inteiro é par'', o que é evidente que é falso. | ||
| Linha 26: | Linha 26: | ||
''(∃n∈Z)(∃k∈Z):n=2k'' | ''(∃n∈Z)(∃k∈Z):n=2k'' | ||
| − | <span style="color: | + | <span style="color:green">que se lê:</span> |
existe n pertencente a Z e existe um k pertencente a Z tal que n=2k, ou seja, esta proposição diz que ''existe um número n par'', o que verdadeiro! | existe n pertencente a Z e existe um k pertencente a Z tal que n=2k, ou seja, esta proposição diz que ''existe um número n par'', o que verdadeiro! | ||
Revisão das 01h11min 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 ∃.
Vamos ver o seu significado nas seguintes expressões:
(∀n∈Z)(∃k∈Z):n=2k
que se lê:
para todo o n pertencente a Z e existe um k pertencente a Z tal que n=2k, ou seja, esta proposição diz que todo o número inteiro é par, o que é evidente que é falso.
(∃n∈Z)(∃k∈Z):n=2k
que se lê:
existe n pertencente a Z e existe um k pertencente a Z tal que n=2k, ou seja, esta proposição diz que existe um número n par, o que verdadeiro!
