|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:
Entailment/Supervenience/Chalmers: if B-properties supervene logically on A-properties, we can say the A-facts (entail) the B-facts.
The Conscious Mind Oxford New York 1996
Constructing the World Oxford 2014