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 conditional relation";
   - implication, logical implication

Derived forms: conditional relations

Type of: logical relation