# implication

Hello !

I wish to know how implication works in sage. In mathematica "Implies[True, False]" gives true.

In sage I wrote "true.implies(false)" it gives attribute error : "'bool' object has no attribute implies"

May I know How I should use implies in sage ?

Thanks.