Diferencia entre revisiones de «Cursos/Bachillerato Secundaria/3º año op. Social Humanística»
Contenido eliminado Contenido añadido
Línea 29:
En cambio, si para el mismo enunciado consideramos el conjunto universo como el conjunto de los números naturales, entonces el conjunto de verdad para <math> P(x) </math> es el conjunto <math> \{2\} </math>.
También, si consideramos el conjunto universo como los números impares, entonces el conjunto de verdad para el enunciado <math> P(x) </math> es el '''conjunto vacío''', denotado por el símbolo <math> \
De esta manera, un enunciado <math> P(x) </math> se convierte en una proposición cuando la variable <math> x </math> toma un valor determinado <math> a </math>.
Introduciremos, entonces, lo que es un '''cuantificador''', que usaremos como herramienta para modificar un enunciado <math> P(x) </math> en una proposición <math> P(a) </math>.
Para un enunciado <math> P(x) </math>, con <math> x </math> variable, tenemos dos casos:
# El enunciado <math> \forall x, P(x) </math> se lee '''para todo <math> x, P(x) </math>''', y es verdadero precisamente cuando el conjunto de verdad para <math> P(x) </math> es el conjunto universo completo.
El símbolo <math> \forall </math> se llama '''cuantificador universal'''.
# El enunciado
| |||