UTNianos

Hola gente, estaba intentando hacer la guia de discreta para entender el tema de calculo proposicional y asi estar al dia, iba todo bien hasta el ejercicio 5, el b y el c no se como seguirlos, en el b me queda la q del final afuera y no se que hacer, si alguien puede ayudarme se lo agradeceria.

B) (p o ¬q) y [(¬p o q) o (¬(¬p o ¬r)) y q]. aca aplique de morgan e involucion y lo simplifique un poco en ese (¬(¬p o ¬r) pero no se que hacer con esa q y me traba.

C) [¬(p o q) y r] o ¬q

lucas_lucas asi los da el enunciado o te quedo a vos?

(20-04-2014 18:29)CarooLina escribió: [ -> ]lucas_lucas asi los da el enunciado o te quedo a vos?

asi es el enunciado, mucho no avance asique lo puse como esta en la guia

ey lucas_lucas , fijate si esta bien y entendes que hice. Ahora hago el B

[attachment=8722]

(20-04-2014 18:44)CarooLina escribió: [ -> ]ey lucas_lucas , fijate si esta bien y entendes que hice. Ahora hago el B

Si, ahi lo entendi, no sabia que se podia hacer asi aunque haya corchetes, muchas gracias!

Bueno lucas_lucas acá el b, fíjate si esta bien

[attachment=8723]

(20-04-2014 19:13)CarooLina escribió: [ -> ]Bueno lucas_lucas acá el b, fíjate si esta bien

por lo que veo esta bien, si. ahora entendi bien, no tenia claro que hacer con esas q ni tampoco que se podia operar agarrando un corchete como proposicion. de nuevo, muchas gracias caro

Si me imaginaba que venia por ahí el tema de la duda, a mi también me paso que había cosas que no sabia que se podían hacer. Pero listo, ya esta. De nada !!

Caroolina (no sé taggear xD) mepa que pifiaste en el tercer renglón donde pusiste las llaves, el and se resuelve antes del or, para mi debería quedar:
(pv¬q) ^[(¬pvq)v(p^r^q)] (1)=> (pv¬q) ^{¬p v [qv(p^r^q)]} (2)=> (pv¬q) ^(¬pvq) (3)=> (p^¬p)v(p^q)v(¬q^¬p)v(¬q^q) (4)=> Fv(p^q)v(¬q^¬p)vF (5)=> (p^q)v(¬p^¬q)

1) Por asociatividad saco los paréntesis y pongo las llaves
2) Por absorción [qv(p^r^q)] se convierte en q
3) Distribuyo

---

Acá está en el wolfram alpha, en donde dice minimal forms si te fijas la DNF queda (p^q)v(¬p^¬q).

https://www.wolframalpha.com/input/?i=%2...Cq%29+and+[%28%C2%ACp+or+q%29+or+%28%C2%AC%28%C2%ACp+or+%C2%ACr%29%29+and+q]

---

Bue, se pegó mal, era https://www.wolframalpha.com/input/?i=(p+or+¬q)+and+[(¬p+or+q)+or+(¬(¬p+or+¬r))+and+q]

No me convence lo que decís, ademas que esta bastante feo presentado. Que dice la respuesta de la guia?
Nada personal m68540534 pero eso de "el and se resuelve antes que el or" es la primera vez que lo escucho
lucas_lucas llevale la resolución del b a la profe y pregúntale que opina

Hola....
Yo estaba haciendo estos ejercicios... La verdad son muy vuelteros... y te hacen frustrar...
Te paso mi resoluciones...

Eso del or se resuelve antes que el and lo dije así para que se entienda, se llama orden de evaluación, como en matemática si tenés 4+5*3 y no hay paréntesis el * se resuelve antes que el +, y es fundamental para simplificar proposiciones lógicas, no es nada loco ni invento mío. La guía no tiene respuestas, al menos hasta el año pasado no tenía, pero el wolfram alpha no se equivoca.

Bueno..

Todo lo que dije es sin ánimo de ofender, comenté nomás porque hace poco preguntaron por el mismo ejercicio y me acordaba que daba distinto, por eso miré más detenidamente la resolución. La idea es que quede bien resuelto para cualquiera que lo vea, no me interesa pelear por quien tiene razón, ni nada por el estilo. Disculpá si sonó agresivo el comentario. Saludos.

CarooLina no tiene respuestas pero el martes tengo discreta asique le voy a mostrar las 3 resoluciones a ver que me dice porque estoy muy perdido en el tema.

m68540534 (recien aprendi que se taggea con @) no conocia el wolframalpha, es bastante util. Lo unico, no entendi el primer paso que haces, el como pasas la q para el otro parentesis por asociatividad