Category:Entailment
Jump to navigation
Jump to search
This category contains results about Entailment.
Definitions specific to this category can be found in Definitions/Entailment.
entailment is the logical connective defined for statements $p$ and $q$ as follows:
Let $p$ be relevant to, and actually used in, the statement that is $q$.
Then $p$ entails $q$:
- $p \boldsymbol \prec q$
This category currently contains no pages or media.