Dictionary.net
Did you mean:
logical implication