logical implication

?

ads