Is there an implication logical operator in python?

p => q is the same as not(p) or q, so you could try that!

Just because it's funny: x => y could be bool(x) <= bool(y) in python.