Conditional Proof Example

Given only one premise, let's PROVE our conclusion. A conditional proof within a conditional proof will be our strategy in this example.

Each line in our proof will be numbered.
And each line will be justified step-by-step.

Remember, Natural Deduction in Propositional Logic makes use of the Rules of Inference. Rules of Inference include modus ponens, modus tollens, the disjunctive syllogism, etc. It also makes use of Equivalences (a.k.a. Replacement Rules) such as double negation, commutative rule, association rule, distribution rule, etc.

Feel free to leave a comment below! I hope this video is helpful!