Preguntas de razonamiento lógico proposicional

Utilice la lógica matemática para responder a esto: suponga que q ~ p no se cumple, entonces la premisa es incorrecta y la conclusión es que todo es cierto. Esto se llama contradicción y se infiere todo. hay, p ~ q Por el contrario, si es cierto, entonces es fácil saber por la configuración de la pregunta que también hay p ~ q, entonces la conclusión ... ps: El ~ aquí representa el significado de la inferencia.