¿Es esto posible? lógica matemática

Question

si tengo ¬(p^q) se puede simplificar para que quede ¬(p)

Answer 1

¡Hola!

No es posible como implicación lógica. Sabemos que, ¬(p ^ q) <=> ¬p v ¬q , esto ocurre por las leyes de De Morgan; si te queda duda puedes comprobarlo haciendo las respectivas tablas de verdad de ambos.

Y es lo máximo que podemos afirmar sin poseer valores de verdad.

Answer 2

Esto solo es posible cuando, de antemano, sabes que la proposición $\neg q$ es falsa.