English to English

logical implication

noun (n)

  • a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false(noun.linkdef)
    Synonym:
    conditional relation, implication
    source: wordnet30
Advertisement

Bookmark This Site