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.