implication logical implication conditional relation
implication%1:24:01:: logical_implication%1:24:00:: conditional_relation%1:24:00::
a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false