|Entailment: material relationship between statements, unlike the formal implication. I.e. the content of the partial statements is relevant for the truth value of the composed statement. See also conditional, implication paradox.|
Books on Amazon
|I 139 ~
Requirement / logical form / logic / Entailment / Chisholm: if certain features of a situation are "requiring" that a particular reaction takes place, then this requirement can be overridden by other traits of this situation . So it may be that p requires that q, and p-and-r not require that q - although p-and-q includes (entails) that p.
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003