Anything related to the logical implication operation, i.e. a binary operation between two truth values A and B that in math is denoted by an arrow `A -> B` (A implies B) and that can be expressed in term of basic logical operations as `not A or B`.
I would like to write a statement in python with logical implication. Something like: if x => y: do_sth() …
python math logical-operators implication