Category:Definitions/Logical Equivalence

This category contains definitions related to Logical Equivalence.
Related results can be found in Category: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$