Diferencia entre revisiones de «Matemáticas/Lógica/Cuantificador»

comienzo del artículo
(comienzo del artículo)
 
(comienzo del artículo)
:<math>\forall \,</math>
 
Se usa el símbolo <math>\forall \,</math> llamado cuantificador universal, para reemplazar la frase "para todo", dicho símbolo expresará que la proposición debe ser verdadera para todos los valores de la variable.<br />
 
:<math>\forall \,</math> x &isin; ''D'', p(x)<br />
Se usa el símbolo <math>\forall \,</math> llamado cuantificador universal, para reemplazar la frase "para todo", dicho símbolo expresará que la proposición debe ser verdadera para todos los valores de la variable.
<math>\forall \,</math> x D, p(x)
Que significa que la proposición p(x) debe ser verdadera para toda x en su dominio.
Esta expresión es a su vez una nueva proposición por lo cual debe poseer un valor de verdad.