Donar $20 Donar $50 Donar $100 Donar mensualmente
 


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Variable Libre y Acotada
Autor Mensaje
fgabrieli Sin conexión
Empleado de Fotocopiadora
Sin estado :(
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 29
Agradecimientos dados: 0
Agradecimientos: 0 en 0 posts
Registro en: Oct 2010
Mensaje: #1
Variable Libre y Acotada Dudas y recomendaciones Matemática Discreta
Hola a todos, estoy cursando Matematica Discreta. Tengo algunas dudas:

1. Una variable libre es aquella que al ser asignada puede hacer que la proposicion sea Verdadera o Falsa?


Ej: p(x): x es par




2. Una variable acotada es aquella que al ser asignada siempre hace que la proposicion sea verdadera?


Ej: p(x): (2x+1) es impar




3. Si al ser asignada hace que la proposicion sea siempre falsa, tambien esta acotada?


Ej: p(x): 2x es impar




4. Si yo uso un cuantificador sobre una variable, necesariamente estoy acotando esa variable?


Ej: p(x): x es par
[para todo x]p(x)



En este caso p(x) podria ser falsa o verdadera, esto significa
que [para todo x]p(x) la variable x es libre?

O depende del Universo que tomamos?
O sea que si U = {2,4,6} entonces es acotada, porque p(2), p(4), p(6) serian verdaderas

pero si U = {1,3,4,5,6} entonces es libre porque p(4) es verdadera,
pero p(1) es falsa



saludos!
Fernando
15-04-2011 11:34
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Saga Sin conexión
Colaborador
out of order
********

Ing. Industrial
Facultad Regional Buenos Aires

Mensajes: 3.695
Agradecimientos dados: 169
Agradecimientos: 1.573 en 881 posts
Registro en: Sep 2009
Mensaje: #2
RE: Variable Libre y Acotada
Hola,

Definición El simbolo es la representación de un predicado o propiedad relativo a cierto objeto indeterminado pertenciente a cierto universo o conjunto.

Si trabajamos en los números enteros y nos interesa saber la propiedad impar de los mismos, entonces podemos escribir como

" x es impar"

Cuantificadores

Cuantificador universal :Definición significa para todo, es decir que si si es cierta para todo x en A entoncés es verdadera

Cuantificador existencial Definición: significa existe al menos un, es decir que si es falsa para todo x en A entoncés es falsa

Variable libre y acotada:

Definición:
En el predicado a la variable x la llamamos variable libre

En x es la variable acotada

En tus problemas, si aplicamos las definiciones

En 1) ,2), 3) todas las variables son libres, por lo tanto las propocisiones pueden ser verdaderas o falsas

En 4) la variable es acotada

En definitiva lo que define que una variable sea libre o acotada es el cuantificador asociado a la misma

saludos

[Imagen: 165261.gif]
15-04-2011 16:18
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
fgabrieli Sin conexión
Empleado de Fotocopiadora
Sin estado :(
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 29
Agradecimientos dados: 0
Agradecimientos: 0 en 0 posts
Registro en: Oct 2010
Mensaje: #3
RE: Variable Libre y Acotada
aoleonsr, te agradezco muchisimo por tu respuesta, me queda claro. Por otro lado lei Grimaldi en el medio y compre las guias de Piñeyro, donde dice que

- si una variable tiene un cuantificador asociado entonces es acotada
- si tenemos [Imagen: mimetex.cgi?\forall{x}] p(x) entonces x es acotada
- si tenemos [Imagen: mimetex.cgi?\exists{x}] p(x) tambien es acotada


Conclusion: Si la variable tiene un cuantificador asociado => La variable es acotada

Por otro lado, si tenemos:

[Imagen: mimetex.cgi?\forall{x}] [p(x) y q(k)]

en este caso x esta acotada y k es libre (corrijan por favor si me equivoco asi queda bien)

Esto lo escribo por si alguien mas lee el post para que quede bien claro, ya que yo me hice un lio importante mezclando imaginacion con teoria...

saludos
Fernando
17-04-2011 17:26
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Saga Sin conexión
Colaborador
out of order
********

Ing. Industrial
Facultad Regional Buenos Aires

Mensajes: 3.695
Agradecimientos dados: 169
Agradecimientos: 1.573 en 881 posts
Registro en: Sep 2009
Mensaje: #4
RE: Variable Libre y Acotada
Hola
(17-04-2011 17:26)fgabrieli escribió:  aoleonsr, te agradezco muchisimo por tu respuesta, me queda claro. Por otro lado lei Grimaldi en el medio y compre las guias de Piñeyro, donde dice que

- si una variable tiene un cuantificador asociado entonces es acotada
- si tenemos [Imagen: mimetex.cgi?\forall{x}] p(x) entonces x es acotada
- si tenemos [Imagen: mimetex.cgi?\exists{x}] p(x) tambien es acotada


Conclusion: Si la variable tiene un cuantificador asociado => La variable es acotada

Exacto, tal cuál lo indique en mi respuesta =P, ahora me agrande roflroflrofl

Cita:Por otro lado, si tenemos:

[Imagen: mimetex.cgi?\forall{x}] [p(x) y q(k)]

en este caso x esta acotada y k es libre (corrijan por favor si me equivoco asi queda bien)

Esta perfecto thumbup3thumbup3

Cita:Esto lo escribo por si alguien mas lee el post para que quede bien claro, ya que yo me hice un lio importante mezclando imaginacion con teoria...

Lo importante, además de hacer ejercicios es tener bien en claro las definiciones y la teoría, no solo para esta materia sino para todas las demás, lo único que se hace es aplicar la definición y listo, en el camino a la resolución te valdras de teoremas y demas cuentas auxiliares, pero lo importante es tener bien en claro la definición ya que si sabes lo que estas buscando sabes que herramientas tenés que usar.

salu2 thumbup3 thumbup3

[Imagen: 165261.gif]
(Este mensaje fue modificado por última vez en: 18-04-2011 14:11 por Saga.)
18-04-2011 14:02
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.