Category:Logical Equivalence
Jump to navigation
Jump to search
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:
then $p$ and $q$ are said to be (logically) equivalent.
That is:
- $p \dashv \vdash q$
means:
- $p \vdash q$ and $q \vdash p$
This category currently contains no pages or media.