a (logic) Said of one proposition with respect to another one: that the latter entails the former, but the former does not entail the latter.