Implies

Implies[p, q] represents the logical implication p ⇒ q.

Examples

Basic implication:

Implies[True, False]
(* False *)

Symbolic implication:

Implies[a, b] // BooleanConvert
(* !a || b *)

Please visit the official Wolfram Language Reference for more details.