Category:Rule of Transposition

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Rule of Transposition:


Formulation 1

A statement and its contrapositive have the same truth value:

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


Its abbreviation in a tableau proof is $\textrm {TP}$.


Formulation 2

$\vdash \paren {p \implies q} \iff \paren {\neg q \implies \neg p}$

Pages in category "Rule of Transposition"

The following 45 pages are in this category, out of 45 total.

L

R

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Rule_of_Transposition&oldid=653867"