Category:Logical Equivalence

This category contains results about Logical Equivalence.
Definitions specific to this category can be found in Definitions/Logical Equivalence.

If two statements $p$ and $q$ are such that:

$p \vdash q$, that is: $p$ therefore $q$

$q \vdash p$, that is: $q$ therefore $p$

then $p$ and $q$ are said to be (logically) equivalent.

That is:

$p \dashv \vdash q$

means:

$p \vdash q$ and $q \vdash p$