‘A entails B’ states that the set A of sentences logically entails the set B of sentences. It can be read as "B can be proven from A".

Definition: A logically entails B if, by assuming all sentences in A and applying a finite sequence of inference rules to them (for example, those from propositional calculus), one can derive all sentences in B.

(aus Wikipedia 2005)