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>