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
Duda de Lógica
Autor Mensaje
Turki Sin conexión
Militante
Cursando
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 61
Agradecimientos dados: 38
Agradecimientos: 9 en 4 posts
Registro en: May 2012
Facebook Twitter
Mensaje: #1
Duda de Lógica Ejercicios Matemática Discreta
Hola tengo una duda con un ejercicio de lógica, espero alguien la tenga clara y me diga si está bien.

el ejercicio es :
[(p v ¬q) ^(s => r) ^ (s v q)] => (¬p => r)

[(¬p=>¬q) ^(s=> r) ^ (s v q)] => (¬p => r) uso: P => Q <=> ¬P v Q pero de forma inversa( no se como se llama esta propiedad)
[(¬p=>¬q) ^(s=> r) ^ (q v s)] => (¬p => r) " : conmutatividad de la disyunción
[(¬p=>¬q) ^(s=> r) ^ (¬q => s)] => (¬p => r) " : P => Q <=> ¬P v Q
[(¬p=>¬q) ^ (¬q=>s) ^ (s=>r)] => (¬p => r) " : conmutatividad de la conjunción
llego hasta acá no se como seguir, esto por alguna propiedad transitiva aplicada en el corchete queda así?
[(¬p => r)]=> (¬p => r)

Gracias

" Si le ves los dientes al león no vayas a creer que te está sonriendo"
(Este mensaje fue modificado por última vez en: 06-08-2013 13:43 por Turki.)
05-08-2013 23:14
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Bian Sin conexión
Campeon del cubo Rubik

****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 192
Agradecimientos dados: 167
Agradecimientos: 208 en 35 posts
Registro en: Dec 2012
Mensaje: #2
RE: Duda de Lógica
Mirá, pensalo así.

A vos te queda que:

(¬ p -> r ) -> (¬p -> r)

Si, por equivalencia del condicional los anotás así:

(p v r) -> (p v r)

Y después de nuevo:

¬(p v r) v (p v r)

Pensá qué es lo qué hacés cuando tenés (¬p v p). Acá es lo mismo, sólo que tenés algo compuesto y no se "nota" bien. Pero es como si tuvieses eso. Y por la tabla de verdad de "v" sabes que ¬p v p = V (la propiedad se llama tercero excluido)

Entonces, finalmente te queda V

Cualquier cosa decime :3
(Este mensaje fue modificado por última vez en: 05-08-2013 23:41 por Bian.)
05-08-2013 23:34
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Bian recibio 2 Gracias por este post
blito (06-08-2013), Turki (06-08-2013)
Turki Sin conexión
Militante
Cursando
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 61
Agradecimientos dados: 38
Agradecimientos: 9 en 4 posts
Registro en: May 2012
Facebook Twitter
Mensaje: #3
RE: Duda de Lógica
Hola muchas gracias por tomarte el tiempo, entiendo perfectamente lo que me decís, yo sabía el resultado, el tema era la parte [(¬p=>¬q) ^ (¬q=>s) ^ (s=>r)] Y nada, era simplemente la definición de transitividad. Por alguna razón pensé que solo era válida de otra forma y no así. Dicho esto queda resuelta mi duda. Gracias

" Si le ves los dientes al león no vayas a creer que te está sonriendo"
06-08-2013 00:13
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Bian Sin conexión
Campeon del cubo Rubik

****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 192
Agradecimientos dados: 167
Agradecimientos: 208 en 35 posts
Registro en: Dec 2012
Mensaje: #4
RE: Duda de Lógica
(06-08-2013 00:13)Turki escribió:  Hola muchas gracias por tomarte el tiempo, entiendo perfectamente lo que me decís, yo sabía el resultado, el tema era la parte [(¬p=>¬q) ^ (¬q=>s) ^ (s=>r)] Y nada, era simplemente la definición de transitividad. Por alguna razón pensé que solo era válida de otra forma y no así. Dicho esto queda resuelta mi duda. Gracias

De nada, cualquier cosa que te pueda ayudar decime! ;)
06-08-2013 12:25
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Bian recibio 1 Gracias por este post
Turki (06-08-2013)
Buscar en el tema
Enviar respuesta 




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



    This forum uses Lukasz Tkacz MyBB addons.