Alguien sabe cómo se hace esto?


http://img440.imageshack.us/img440/7229/discreta14e.jpg

Hice la tabla de verdad y me quedó así:


http://img819.imageshack.us/img819/7239/tablaqv.jpg

El resultado final es el que tiene fondo púrpura.

Pero no sé si lo hice bien, si es lo que pide, o cómo se termina...

No me acuerdo demasiado de discreta pero, es necesario hacer TODOS los casos?

Digo, por ejemplo, encarandolo desde el principio...

\[blabla1\wedge blabla2\]

La conjuncion es verdadera solo cuando el antecedente y el consecuente son verdaderos...
Entonces, blabla 1 y blabla 2 tienen que ser ambos verdaderos. Y con ese razonamiento podes avanzar más supongo

Mi profe hasta la simplifico y dps se fijo.Yo no sabia que se podia, pregunta.

nono esos lo que habia que hacer con tus proposiciones q p r y s, darles valor F o V(sin provocar incoherencias) buscas que sea verdadero.

Vos como primero que nada fijate [] ^ [ ], entonces ambos corchetes para que eso sea verdadero tienen que ser verdaderos tambien.

Ahora analizas cada corchete por separado.

Q=> [(-Pv R) ^-S]
La unica forma que te quede falso, es que sea V =>F.

-S=>(-R ^Q). La unica forma que sea falso es V=>F.

Y empezas a probar, que se yo decis -R= V, R=F, Q=V .. Asi te queda (-R ^Q)= V con lo cual (por ahora) dale valor a "-S" falso o verdadero no cambia mucho.


Bueno basicamente eso tenes que hacer. Capas para que de verdadero tenes varias combinaciones o no, pero tenes que ir probando sabiendo las tablitas

Yo hice la tabla de verdad y tomé los casos donde da V en el resultado final, fijate que algunos se pueden repitir

(09-04-2012 11:45)rodam escribió:  Yo hice la tabla de verdad y tomé los casos donde da V en el resultado final, fijate que algunos se pueden repitir

Claro, lo mismo que hice yo y puse ahi en la imagen... despues pregunto cómo se puede hacer de otra forma o mas rápida

La otra forma es un poco mas complicada... es simplificar la proposicion hasta llegar que dependa meramente de una sola letra.