Scribd
Cargar
76 vistas1 página

Cuantificadores Anidados en Matemáticas

El documento explica dos ejemplos de cuantificadores anidados. 1) Existe un número x y un número y enteros tales que x+y=x-y. Esto es verdadero si x=1 y y=0. 2) La afirmación "la suma de dos números reales positivos es positiva" se puede expresar simbólicamente como ∀x∀y ((x > 0) ∧ (y > 0) → (x + y > 0)), lo que significa que para cualquier x y cualquier y, si x e y son positivos, entonces su suma es positiva.

Cargado por

Jean CorrCol
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
76 vistas1 página

Cuantificadores Anidados en Matemáticas

El documento explica dos ejemplos de cuantificadores anidados. 1) Existe un número x y un número y enteros tales que x+y=x-y. Esto es verdadero si x=1 y y=0. 2) La afirmación "la suma de dos números reales positivos es positiva" se puede expresar simbólicamente como ∀x∀y ((x > 0) ∧ (y > 0) → (x + y > 0)), lo que significa que para cualquier x y cualquier y, si x e y son positivos, entonces su suma es positiva.

Cargado por

Jean CorrCol
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

CUANTIFICADORES ANIDADOS

Se dice que los cuantificadores múltiples son también llamados cuantificadores anidados.

1) ∃x∃y(x+y=x-y), dominio los enteros

La proposición indica que existe un X y un Y, que pertenecen a los números enteros, tal
que: x+y= x-y.

Si x=1, y=2

No cumpliría con el predicado, ya que 1+2 ≠1-2

Si x=1, y=0

Cumpliría con el predicado, ya que 1+0=1-0

Y por lo tanto la expresión “∃x∃y(x+y=x-y), dominio los enteros” seria verdadera ya que
basta con que un solo número cumpla con el predicado.

2)
Considere escribir la afirmación:
La suma de cualesquiera dos números reales positivos es positiva, simbólicamente.

Primero se observa que se trata de dos números, se necesitan dos variables, digamos x, y.

La aseveración se puede reestablecer como:

Si x > 0 y y > 0, entonces x + y > 0.

La afirmación dice que la suma de cualesquiera dos números reales positivos es positiva, de
manera que se necesitan dos cuantificadores universales.

Así, la afirmación se escribe simbólicamente como

∀x∀y ((x > 0) ∧ (y > 0) → (x + y > 0)).

En palabras, para cada x y para cada y, si x > 0 y y > 0, entonces x + y > 0.

El dominio de discurso es el conjunto de números reales. (Johnsonbaugh, Sexta edición)

También podría gustarte