Category:Definitions/Logical Equivalence
Jump to navigation
Jump to search
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:
then $p$ and $q$ are said to be (logically) equivalent.
That is:
- $p \dashv \vdash q$
means:
- $p \vdash q$ and $q \vdash p$
Pages in category "Definitions/Logical Equivalence"
The following 6 pages are in this category, out of 6 total.