What's the difference between the logical concepts of entailment and implicaiton? I know what implication is between two propositions; every case is allowed except a true premise and a false conclusion. But I'm not quite sure what entailment is. As I understand it, entailment occurs when a conjunction of statements is not inconsistent with another statement. But doesn't this also mean that the conjunction of statements implies the other? Can anyone give me a case when the relationship is entailment but not implicaiton? Any clarification would be appreciated. Thank you.