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
   "In mathematics, the statement 'if x is even, then x is divisible by 2' is an example of a logical implication";
   - implication, conditional relation

Derived forms: logical implications

Type of: logical relation

Encyclopedia: Logical implication