Category:Definitions/Entailment

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