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

De Wikilibros, la colección de libros de texto de contenido libre.
Contenido eliminado Contenido añadido
comienzo del artículo
Sin resumen de edición
Línea 8: Línea 8:
Esta proposición será falsa si al menos un elemento x del dominio hace que p(x) sea falsa.
Esta proposición será falsa si al menos un elemento x del dominio hace que p(x) sea falsa.
A pesar de que en la proposición interviene la variable x, esta proposición no es abierta.
A pesar de que en la proposición interviene la variable x, esta proposición no es abierta.
<br />
<br />
(este artículo será ampliado en breve )

Revisión del 19:37 1 feb 2012

Se usa el símbolo 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.

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. Esta proposición será falsa si al menos un elemento x del dominio hace que p(x) sea falsa. A pesar de que en la proposición interviene la variable x, esta proposición no es abierta.

(este artículo será ampliado en breve )