Como resolver este problema de lógica proposicional?
Como resolver este problema de lógica proposicional? [(~p v ~q) ^ ~q ^ ] = >~q.
4Felixquant8532
Como resolver este problema de lógica proposicional? [(~p v ~q) ^ ~q ^ ] = >~q.
En resumen
Solo usamos la propiedades : y resolvemos [(~p v ~q) ^ ~q] = >~q [~(p ^ q) ^ ~q] = >~q [~[(p ^ q) vq]] = >~q [~[(p ^ q) vq]] = >~q (Usamos ley de absorcion) [~[q]] = >~q ~q = >~q qv~q = V Verdadero.
Sailormoonconejita
Solo usamos la propiedades : y resolvemos
[(~p v ~q) ^ ~q] = >~q
[~(p ^ q) ^ ~q] = >~q
[~[(p ^ q) vq]] = >~q
[~[(p ^ q) vq]] = >~q (Usamos ley de absorcion)
[~[q]] = >~q
~q = >~q
qv~q = V
Verdadero.