conditional relation

Noun
  1. A logical relation between propositions p and q of the form `if p then q';
    If p is true then q cannot be false (synset 113882478)
    is a type of: logical relation - a relation between propositions
    same as: implication, logical implication

Found on Word Lists

Other Searches