Category:Entailment

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$.

Let $q$ be true if $p$ true.

Then $p$ entails $q$:

$p \boldsymbol \prec q$