Implies¶ Logical implication — False only when the antecedent is true and the consequent is false. $ wo 'Implies[True, False]' False $ wo 'Implies[False, True]' True