Logical Implication or Entailment