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.