making the definition of Entails transparent for Prop.

- NOTE: Entails should really be part of Logic and not
  LogicLaws.