Material implication (logical connective)