logical implication

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: conditional relation, implication

Found on Word Lists

Other Searches