Matemáticas, pregunta formulada por victoria1717, hace 1 año

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

Respuestas a la pregunta

Contestado por Granpez
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


Otras preguntas