Autor Tema: Forma de cuantificadores anidados

0 Usuarios y 1 Visitante están viendo este tema.

08 Septiembre, 2009, 01:47 am
Leído 1037 veces

polenta

  • $$\Large \color{#5372a0}\pi\,\pi$$
  • Mensajes: 99
  • Karma: +0/-0
  • Sexo: Masculino
Hola tengo una duda, quiero saber si existe una forma de probar que es verdad por ejemplo: \( \exists{x}\forall{y}(x*y=y) \) se que es verdad poniendo \( x=1 \). Me dijeron que para comprobar si era verdad una sentencia con cuantificadores anidados, tengo que "mirar" el segundo cuantificador, si tiene \( y \) hago \( y(x) \) o al revés, puede ser?
Saludos