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 54:
'''Un cuantificador especial'''
Para un enunciado abierto <math> P(x) </math>, la proposición <math> \exists!x,P(x) </math> se lee '''existe un único <math> x </math> tal que <math> P(x) </math>'''.
Tal enunciado es verdadero cuando el conjunto de verdad consta exactamente de un elemento.
Por ejemplo, la proposición <math> \exists!x, x es número primo par </math> es verdadera, pues en el universo de los números reales, el único número primo par es el número 2.
|