Diferencia entre revisiones de «Cursos/Bachillerato Secundaria/3º año op. Social Humanística»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 38:
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 <math> \exists, P(x) </math> se lee ``'''existe <math> x </math> tal que <math> P(x) </math>'''´´, y es verdadero precisamente cuando el conjunto de verdad para <math> P(x) </math> no es vacío (es decir, existe al menos un elemento que cumple con el enunciado).
| |||