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