Symbolic logic rules of implication