conditional relation

Noun

1.

conditional relation - a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false Synonyms: logical implication, implication

implication, logical implication, logical relation