Chicos, hice el ejercicio (1.4 e) de la primer guía. No sé si lo hice bien, en caso contrario alguien me ayuda?
Les dejo el enunciado y un PDF adjunto con lo que hice.

Considerando las proposiciones p,q,r y s: Dar los casos para los cuales la proposición \[ (q \Rightarrow [ ( \sim p \vee r ) \wedge \sim s ] ) \wedge [ \sim s \Rightarrow ( \sim r \wedge q ) ]\] es verdadera.

Resolución:
  ej-1-4-e.pdf (Tamaño: 233,06 KB / Descargas: 37)

PARA MI, el ejercicio se resuelve:

Casos que es verdadero, le das V o F a p,q,r y s .Que se yo, los cuatro verdaderos, tres falsos y uno verdadero y otro caso mas. Nada de simplificar ni la talba de verdad como vos hiciste.

¿Podrias preguntarle si es como yo digo al ayudante? por que te pide casos, si quisiera la tabla de verdad te lo diria en el enunciado y solo te pide 3 casos. Yo en su momento los hice asi estos ejercicios, por eso te digo

(07-04-2013 15:28)CarooLina escribió:  PARA MI, el ejercicio se resuelve:

Casos que es verdadero, le das V o F a p,q,r y s .Que se yo, los cuatro verdaderos, tres falsos y uno verdadero y otro caso mas. Nada de simplificar ni la talba de verdad como vos hiciste.

¿Podrias preguntarle si es como yo digo al ayudante? por que te pide casos, si quisiera la tabla de verdad te lo diria en el enunciado y solo te pide 3 casos. Yo en su momento los hice asi estos ejercicios, por eso te digo

Entiendo lo que dices, pero en ese caso, si le doy directamente valores a p,q,r,s tendría que comprobarlo de alguna forma, más allá de registrar la demostración... Igual tendría que probar las 16 posibilidades para encontrar los casos verdaderos que pide. (Te entendí bien??)

Vos para darle los valores a p,q,r y s te basas en la tabla de verdad de la conjunción, disyunción y las otras
Te resuelvo un caso,

en la que v(s)=f , v®=f, v(q)=v y v(p)=f

Yo necesito que sea Verdadera, par que la \[\wedge \] sea verdadero tanto el lado derecho como el izquierdo deben serlo tambien.


Del lado derecho: \[ [ \sim s \Rightarrow ( \sim r \wedge q ) ]\]

tanto \[ \sim s \] y \[ ( \sim r \wedge q ) \] quiero que sean verdaderas, segun la tabla de verdad de \[\Rightarrow\] solo es falsa para V\[\Rightarrow\]F
si \[ \sim s \] es V , entonces s es F
si \[( \sim r \wedge q ) \] tanto \[\sim r \] y q deben ser verdaderas tambien, lo que hace que r sea falsa

Ahora el izquierdo, teniendo en cuenta las decisiones tomadas antes:
ya tenemos desde antes que q es verdadero, asi que no queda otra que \[ [ ( \sim p \vee r ) \wedge \sim s ] ) \] sea verdadero y por eso \[ ( \sim p \vee r ) \] y \[ \sim s \] son V tambien.
Si \[( \sim p \vee r ) \] es V y pactamos desde antes que r es V por lo que para que \[\vee \] sea verdadero \[ \sim p \] tambien lo es y p es falsa.

De esto hablo yo, porfis preguntale a tu ayudante si a lo sumo podes simplificar, pero de la tabla estoy casi segura que no. En esa parte de la guia te lo va a pedir si necesitas la tabla

(07-04-2013 15:59)CarooLina escribió:  Vos para darle los valores a p,q,r y s te basas en la tabla de verdad de la conjunción, disyunción y las otras
Te resuelvo un caso,

en la que v(s)=f , v®=f, v(q)=v y v(p)=f

Yo necesito que sea Verdadera, par que la \[\wedge \] sea verdadero tanto el lado derecho como el izquierdo deben serlo tambien.


Del lado derecho: \[ [ \sim s \Rightarrow ( \sim r \wedge q ) ]\]

tanto \[ \sim s \] y \[ ( \sim r \wedge q ) \] quiero que sean verdaderas, segun la tabla de verdad de \[\Rightarrow\] solo es falsa para V\[\Rightarrow\]F
si \[ \sim s \] es V , entonces s es F
si \[( \sim r \wedge q ) \] tanto \[\sim r \] y q deben ser verdaderas tambien, lo que hace que r sea falsa

Ahora el izquierdo, teniendo en cuenta las decisiones tomadas antes:
ya tenemos desde antes que q es verdadero, asi que no queda otra que \[ [ ( \sim p \vee r ) \wedge \sim s ] ) \] sea verdadero y por eso \[ ( \sim p \vee r ) \] y \[ \sim s \] son V tambien.
Si \[( \sim p \vee r ) \] es V y pactamos desde antes que r es V por lo que para que \[\vee \] sea verdadero \[ \sim p \] tambien lo es y p es falsa.

De esto hablo yo, porfis preguntale a tu ayudante si a lo sumo podes simplificar, pero de la tabla estoy casi segura que no. En esa parte de la guia te lo va a pedir si necesitas la tabla

Aaaah, ya entendí! Genial, me encantó!! //Igual por si las dudas pregunto si se hace así, seguro que me dicen que sí.
Gracias genia!!

Buensimo, dale porfis. Cuadno sepas avisa por aca o un mp. Solo te quedan dos casos a vos y usa las tablitas.

(07-04-2013 15:59)CarooLina escribió:  De esto hablo yo, porfis preguntale a tu ayudante si a lo sumo podes simplificar, pero de la tabla estoy casi segura que no. En esa parte de la guia te lo va a pedir si necesitas la tabla

Dijeron en clase que se puede resolver mediante 3 métodos:
1) Tablas de verdad
2) Método por contradicción: Donde se niega la conclusión y si las premisas son verdaderas entonces el razonamiento no es valido. (Más o menos como lo que desarrollaste en la respuesta)
3) Método deductivo: Con las equivalencias y reglas de inferencia. (Sólo si sabemos que el razonamiento es válido)

2) yo no use ese metodo. Lo que te dice ahi es que vos asumas que eso es Falso y si se cumple, lo es. En este caso podria decir v ^ f, f ^f o f^v

Bueno, pero la idea es esa.

Son dos cosas distintas, lo que vos decís asumís que no es valido

Estoy teniendo problemas con ese punto en general. En mi caso, me parece que la profe se olvido de explicar un par de tautologias necesarias para los ej...
Tienen idea si existen resueltos de esta materia? C:

(10-04-2013 21:36)fedeel escribió:  Estoy teniendo problemas con ese punto en general. En mi caso, me parece que la profe se olvido de explicar un par de tautologias necesarias para los ej...
Tienen idea si existen resueltos de esta materia? C:

Mañana averiguo en CEIT, pero si llegan a haber, seguro que estén en Campus, porque ya me pasó con los resueltos de AMI y AyGA

---

(10-04-2013 10:33)CarooLina escribió:  Son dos cosas distintas, lo que vos decís asumís que no es valido

Si ya sé, pero me refería a que la forma de asignar los V y F es similar a lo que decías.

Si ovbio las tablas de verdad son lo mismo para todos, sino cagamos fuego jajaa

Resuelto de ejercicios no hay NADA. Lo que yo como ex alumna te puedo recomendar mucho, en campus esta una version vieja del libro de discreta que es AZUl.. es el mismo pero una version vieja que tien MUCHISIMOS ejercicos mas que el otro y muchos resueltos tambien, no todos ojo pero la gran mayoria. ME gusto mas el azul que el rojo,

(11-04-2013 15:44)CarooLina escribió:  Si ovbio las tablas de verdad son lo mismo para todos, sino cagamos fuego jajaa

Resuelto de ejercicios no hay NADA. Lo que yo como ex alumna te puedo recomendar mucho, en campus esta una version vieja del libro de discreta que es AZUl.. es el mismo pero una version vieja que tien MUCHISIMOS ejercicos mas que el otro y muchos resueltos tambien, no todos ojo pero la gran mayoria. ME gusto mas el azul que el rojo,

Buenísimo!!!
Estará en biblioteca? Porque ya tengo el verde.

(11-04-2013 15:47)dyvakrrillo escribió:  

(11-04-2013 15:44)CarooLina escribió:  Si ovbio las tablas de verdad son lo mismo para todos, sino cagamos fuego jajaa

Resuelto de ejercicios no hay NADA. Lo que yo como ex alumna te puedo recomendar mucho, en campus esta una version vieja del libro de discreta que es AZUl.. es el mismo pero una version vieja que tien MUCHISIMOS ejercicos mas que el otro y muchos resueltos tambien, no todos ojo pero la gran mayoria. ME gusto mas el azul que el rojo,

Buenísimo!!!
Estará en biblioteca? Porque ya tengo el verde.

si de ahi lo saque, es azul chiquito y bien gordito edicion vieja de mat discreta