De las premisas
\[P_{1}\]: \[r \rightarrow ¬ s\]
\[P_{2}\]: \[q \vee r\]
\[P_{3}\]: \[¬ p \]
\[P_{4}\]: \[q \leftrightarrow p\]
Se infiere:
Para reportar una pregunta debes registrarte o iniciar sesión .