si {(p ^ q) v ~ r} -> q Es falsa
Se concluye qye:
(p ^ q) v ~ r , es verdadero , y q , es falso
=> p ^ F = F
POr tanto:
F v -r : V
Pero: -r , no puede ser: F , entonces: -r es verdadero, por tanto: r , es falso
Luego: p : puede ser verdadero o falso
r : es falso
q, es falso
Por consiguiente:
{~(r -> ~ t) -> p} ^ q
{-( F → -t) → p } ^ F
Dado que: V ^ V : es verdadero, y el resto de combinaciones será falso, se concluye que:
(Lo que salga) ^ F , será: Falso
Rpta: {~(r -> ~ t) -> p} ^ q , será: Falso
