Diferencia entre revisiones de «Cursos/Bachillerato Secundaria/3º año op. Social Humanística»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 41:
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).
El símbolo <math> \exists </math> se llama '''cuantificador existencial'''.
'''Ejemplos'''
* El enunciado
| |||