give expression to

tending to suggest or imply

a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

require as a necessary antecedent or precondition

imply as a possibility

involve as a necessary condition of consequence; as in logic