Skip to definition.
Get the FREE one-click dictionary software for Windows or the iPhone/iPad and Android apps


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

Derived forms: logical implications

Type of: logical relation

Encyclopedia: Logical implication