Implies

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

Please visit the official Wolfram Language Reference for more details and examples on core symbols.