entailment
Premises entail a conclusion when no row makes them all true and the conclusion false.
A set of sentences entails a sentence C, written with ⊨, when every valuation that makes all the sentences in the set true also makes C true. An argument in sentential logic is valid exactly when its premises entail its conclusion.
Examples
P → Q and P entail Q.
See also