Rule of Transposition/Variant 2

From ProofWiki
Jump to navigation Jump to search

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)$