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 66:
Los cuantificadores se niegan de la siguiente manera
* <math> \sim(\forall x,P(x))\equiv\exists x,\sim P(x) </math>
* <math> \sim(\exists x,P(x))\equiv\forall x,\sim P(x) </math>
Por ejemplo, si consideramos el conjunto universo como los números reales, queremos negar el enunciado
<center>
<math> \exists x,x>3 </math>
</center>
la negación sería
<center>
<math> \forall x,x\geq 3 </math>
</center>
|