Diferencia entre revisiones de «Matemáticas/Lógica/Cuantificador»
Contenido eliminado Contenido añadido
comienzo del artículo |
comienzo del artículo |
||
Línea 1:
:<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 />▼
▲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.
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.
| |||