Estos son los ejercicios se logica del parcial. me los puse a hacer para tenerlos ya que no me daban como lo habia echo yo. (los hago de una manera diferente) y me trabo al principio.

Aca estan:

(tema B T.mañana) A) \[[(P\wedge Q)\vee P \vee (Q\wedge R) \vee (P\wedge -P\wedge R) \vee (-Q\wedge R) ]\]


hago lo siguiente:

\[[(P\wedge Q)\vee P] = P por ...absorcion\]
\[(P\wedge -P\wedge R)\] = Falso por p y no p

entonces me queda:

\[ P \vee (Q\wedge R) \vee Falso \vee (-Q\wedge R)\]
sacando el falso
\[ P \vee (Q\wedge R) \vee (-Q\wedge R)\]

No me sale esa distributiva...o nosé que hacer para llegar a la solución.

la solción es : \[P \vee R\]


Y despues el del TURNO TARDE!

\[[(-P\Rightarrow -Q)\wedge (-R\Rightarrow -S)\wedge (-S\Rightarrow Q)] \Rightarrow P\vee R\]

yo lo que hice en el parcial fue lo siguiente:
\[(-R\Rightarrow -S)\wedge (-S\Rightarrow Q)]\] = \[(-R\Rightarrow Q)\]

entonces me quedaba

\[(-P\Rightarrow -Q)\wedge (-R\Rightarrow Q)\]

\[(-P\Rightarrow -Q)\] = \[P\vee -Q\]
\[(-R\Rightarrow Q)\] = \[R\vee Q\]
entonces me queda:
\[(P\vee -Q)\wedge (R\vee Q) \Rightarrow P\vee R\]

La solucion es \[(P\vee R) \rightarrow (P\vee R)\]

Y hasta ahi llegue, el que sepa hacerlos de cualquier manera...sea esta o diferente y pueda terminarmeloss joyaaaaaaa.


El del turno tarde nosé si use bien las propiedades....pero bueno.

Lo que hiciste en el dos no sabia que era valido, pero tengo el primero hecho desde donde vos dejaste:

P v (Q v R) v (-Q ^ R)
P v [{Q v (-Q ^ R)} ^ {R v (-Q ^ R)}]
P v [{(Q v -Q) ^ (Q v R) } ^ R]
P v [(Q v R) ^ R]

P v R !

Listo

uy que facil era el primero , ni me di cuenta eso , mil gracias...

y con lo del segundo ni idea jajaja , la profe dijo usar silogismo y busque en un libro y era algo así...
capaz nada qe ver.

gracias por el 1!

el segundo es asi...