Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
Autor Mensaje
deint Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 15
Agradecimientos dados: 9
Agradecimientos: 2 en 2 posts
Registro en: Sep 2013
Mensaje: #1
[Duda] Simplificacion de proposicion usando leyes logicas. (Discreta) Dudas y recomendaciones Matemática Discreta
Buenas gente. Me trabe con un ejercicio de discreta, si me pueden dar una mano joya =D

El ejercicio dice, simplifique la siguiente expresion utilizando las leyes logicas:
\[\sim [p\wedge (p\Rightarrow q)]\Rightarrow q\]

Lo que pude hacer es esto:
Aplicar De Morgan: \[(\sim p)\vee [\sim(p\Rightarrow q)]\Rightarrow q\]
Aplicar involucion y condicional: \[(\sim p)\vee (p\vee q)\Rightarrow q\]
Y ahi ya no encontre alguna otra para aplicar, tampoco estoy muy seguro de haber aplicado bien las leyes, es mas o menos lo que pude llegar a hacer. Gracias
Otros adjuntos en este tema
.jpg  Discret_0_jpg.jpg ( 342,91 KB / 11084) por CarooLina
(Este mensaje fue modificado por última vez en: 31-03-2014 00:57 por deint.)
31-03-2014 00:51
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] deint recibio 1 Gracias por este post
nelhagui (02-04-2014)
Maxy Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 9
Agradecimientos dados: 1
Agradecimientos: 2 en 2 posts
Registro en: Sep 2011
Mensaje: #2
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
Buenas! Me da una fiaca bárbara usar el látex, asique te pido mil disculpas, pero lo hago como el mas común de los mortales, total lo vas a entender igual y el chiste es que ubiques el razonamiento =D

¬[ p ^ (p -> q) ] -> q

Como p->q es equivalente a ¬p v q (tienen el mismo valor de verdad), aplicamos a ambos y:

¬ { ¬[ p ^ (p -> q) ] } v q (Fijate acá como los not se "cancelan")

[ p ^ (¬p v q ) ] v q

[ (p ^ ¬p) v (p ^ q) ] v q

[ F v (p ^ q) ] v q

(p ^ q) v q

(p v q) ^ (q v q)

(p v q)


Éxitos!

PS: Revisalo, hace mucho que no veo un ejercicio de estos y tranquilamente la puedo estar pifiando en algo!
31-03-2014 02:03
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Maxy recibio 1 Gracias por este post
deint (31-03-2014)
.-Fede-. Sin conexión
Profesor del Modulo A

*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 265
Agradecimientos dados: 84
Agradecimientos: 49 en 44 posts
Registro en: Nov 2011
Mensaje: #3
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
(p ^ q) v q

Ahí no habría que aplicar absorción?
31-03-2014 13:43
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
CarooLina Sin conexión
Colaborador

********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 3.743
Agradecimientos dados: 1.496
Agradecimientos: 1.683 en 547 posts
Registro en: Sep 2010
Mensaje: #4
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
Hola, esto se resuelve asi =)

   

(31-03-2014 02:03)Maxy escribió:  Buenas! Me da una fiaca bárbara usar el látex, asique te pido mil disculpas, pero lo hago como el mas común de los mortales, total lo vas a entender igual y el chiste es que ubiques el razonamiento =D

¬[ p ^ (p -> q) ] -> q

Como p->q es equivalente a ¬p v q (tienen el mismo valor de verdad), aplicamos a ambos y:

¬ { ¬[ p ^ (p -> q) ] } v q (Fijate acá como los not se "cancelan")

[ p ^ (¬p v q ) ] v q

[ (p ^ ¬p) v (p ^ q) ] v q

[ F v (p ^ q) ] v q

(p ^ q) v q

(p v q) ^ (q v q)

(p v q)


Éxitos!

PS: Revisalo, hace mucho que no veo un ejercicio de estos y tranquilamente la puedo estar pifiando en algo!

(p ^ q) v q

(p v q) ^ (q v q)

(p v q)


Hola Maxy , te olvidaste de un paso ahí , por que (p ^ q) v q = q =) por eso no esta bien

love
(Este mensaje fue modificado por última vez en: 31-03-2014 19:00 por CarooLina.)
31-03-2014 18:57
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] CarooLina recibio 1 Gracias por este post
deint (31-03-2014)
deint Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 15
Agradecimientos dados: 9
Agradecimientos: 2 en 2 posts
Registro en: Sep 2013
Mensaje: #5
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
(31-03-2014 18:57)CarooLina escribió:  Hola, esto se resuelve asi =)


Gracias! ahi lo pude ver bien!

Gracias Maxy y Fede por contestar tambien =D

Edit: Una preguntita :$, en "(p^-p) o (p^q) o q", p^-p es falso por ser contradiccion, pero porque despues se va el (p^q)?
(Este mensaje fue modificado por última vez en: 31-03-2014 20:16 por deint.)
31-03-2014 19:55
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
.-Fede-. Sin conexión
Profesor del Modulo A

*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 265
Agradecimientos dados: 84
Agradecimientos: 49 en 44 posts
Registro en: Nov 2011
Mensaje: #6
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
(31-03-2014 19:55)deint escribió:  
(31-03-2014 18:57)CarooLina escribió:  Hola, esto se resuelve asi =)


Gracias! ahi lo pude ver bien!

Gracias Maxy y Fede por contestar tambien =D

Edit: Una preguntita :$, en "(p^-p) o (p^q) o q", p^-p es falso por ser contradiccion, pero porque despues se va el (p^q)?

Por absorción
(p^q) v q = q
01-04-2014 15:26
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] .-Fede-. recibio 1 Gracias por este post
deint (01-04-2014)
nelhagui Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 5
Agradecimientos dados: 5
Agradecimientos: 0 en 0 posts
Registro en: Apr 2013
Mensaje: #7
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
Perdón la ignorancia, pero queria saber como saben que
p->q es equivalente a ¬p v q (tienen el mismo valor de verdad)? lo dedujeron solo probando o aplicaron una ley? porque me imagino que uno no anda probando todas las posibilidades en la tabla de la verdad. repito: perdón la ignorancia recién voy una clase y me cuesta un poco.

tampoco entendi como pasaron de ¬[ p ^ (p -> q) ] -> q
a esto ¬ { ¬[ p ^ (p -> q) ] } v q

es decir, como llegaron a pasar de -> q a v q
(Este mensaje fue modificado por última vez en: 02-04-2014 01:19 por nelhagui.)
02-04-2014 00:55
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
deint Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 15
Agradecimientos dados: 9
Agradecimientos: 2 en 2 posts
Registro en: Sep 2013
Mensaje: #8
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
(02-04-2014 00:55)nelhagui escribió:  Perdón la ignorancia, pero queria saber como saben que
p->q es equivalente a ¬p v q (tienen el mismo valor de verdad)? lo dedujeron solo probando o aplicaron una ley? porque me imagino que uno no anda probando todas las posibilidades en la tabla de la verdad. repito: perdón la ignorancia recién voy una clase y me cuesta un poco.

tampoco entendi como pasaron de ¬[ p ^ (p -> q) ] -> q
a esto ¬ { ¬[ p ^ (p -> q) ] } v q

es decir, como llegaron a pasar de -> q a v q


Buenas, \[(p\Rightarrow q) \equiv (\sim p) \vee q\] es Condicional (una ley).
Lo segundo, es aplicando Condicional otra ves, ya que tenes \[\sim[p \wedge (\sim p \vee q)] \Rightarrow q\] entonces se toma todo lo de la izquierda como una proposicion (ponele p) "entonces" (q, otra proposicion), lo cual por ley condicional es equivalente a no p o q, despues de ese paso, al tener dos no en la proposicion de la izquierda se cancelan (involucion: \[\sim (\sim p) \equiv p\]).

Todo eso si entendi bien la resolucion que puso Carolina jaja. Slds
02-04-2014 05:00
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] deint recibio 1 Gracias por este post
nelhagui (02-04-2014)
.-Fede-. Sin conexión
Profesor del Modulo A

*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 265
Agradecimientos dados: 84
Agradecimientos: 49 en 44 posts
Registro en: Nov 2011
Mensaje: #9
RE: [Duda] Simplificacion de proposicion usando leyes logicas. (Discreta)
(02-04-2014 00:55)nelhagui escribió:  Perdón la ignorancia, pero queria saber como saben que
p->q es equivalente a ¬p v q (tienen el mismo valor de verdad)? lo dedujeron solo probando o aplicaron una ley? porque me imagino que uno no anda probando todas las posibilidades en la tabla de la verdad. repito: perdón la ignorancia recién voy una clase y me cuesta un poco.

tampoco entendi como pasaron de ¬[ p ^ (p -> q) ] -> q
a esto ¬ { ¬[ p ^ (p -> q) ] } v q

es decir, como llegaron a pasar de -> q a v q

Además de lo que dijo deint (que está bien) agrego que es una equivalencia lógica, la tabla de verdad es exactamente la misma. Las equivalencias lógicas digamos que están en el libro y el profe las debería dar, en el parcial no te vas a poner a hacer una tabla de verdad para ver si dos proposiciones son equivalentes.
02-04-2014 11:49
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] .-Fede-. recibio 1 Gracias por este post
nelhagui (02-04-2014)
Buscar en el tema
Enviar respuesta 




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