Como resolver este problema de lógica proposicional?
Como resolver este problema de lógica proposicional? [(~p v ~q) ^ ~q ^ ] = >~q.
Como resolver este problema de lógica proposicional? [(~p v ~q) ^ ~q ^ ] = >~q.
Pregunta de Matemáticas · 1 respuesta · 4 votos · mejor respuesta de Sailormoonconejita
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.
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.
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.
Un teorema es unafórmulaque figuradentrode una demostración. Es decir, un teorema es unafórmulaque es o bien un axioma, o bien, una consecuencia de éste. Unafórmulase dice que es falsa si su negación es un teorema. Una…
La asociatividad es una propiedad en el álgebra y la lógica proposicionalque se cumple si, dados tres o más elementos cualquiera de un conjunto determinado, se verifica que existe una operación : que cumpla la igualdad…