logically entails P or Q, but P or Q does not necessarily entail, does not logically entail P. Logical entailment is not so much analogous with arithmetic equality as it is with arithmetic inequality. 