Explore relationships

Material implication (rule of inference)

In classical propositional logic, material implication is a valid rule of replacement that allows a conditional statement to be replaced by a disjunction in which the antecedent is negated.

Use + to expand a branch. Click a topic name to open its summary.