conditional relation
Noun
Meaning
a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
Source: WordNetNoun
a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
Source: WordNet