logical implication

/L AA1 JH IH0 K AH0 L IH0 M P L AH0 K EY1 SH AH0 N/
noun
  1. 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