Question

como resolver este problema de lógica proposicional?
[(~p v ~q) ^ ~q^] =>~q

Answer 1

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