Rule of Transposition/Variant 2

Theorem

Formulation 1

$\neg p \implies q \dashv \vdash \neg q \implies p$

Formulation 2

$\vdash \left({\neg p \implies q}\right) \iff \left({\neg q \implies p}\right)$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.