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. The rule states that P implies Q is logically equivalent to not- P {\displaystyle P} or Q {\displaystyle Q} and that either form can replace the other in logical proofs.

This neuron ends here.