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 </math> es número primo par
=== Negación de Cuantificadores ===
Los cuantificadores se niegan de la siguiente manera
*
*
| |||