Propositional Logic: Natural deduction
Disjunction reasoning rules: pencil-and-paper exercises (5 exercises)
First, attempt each exercise on your own, and then compare your answer with the worked-out solution.
Exercise 1 Show that .
Exercise 2 Show that .
Exercise 3 Show that .
Exercise 4 Show that .
Note that the results of exercises 3 and 4 provide evidence of the following tautology about distributivity of and operators:
Exercise 5 Show that .
Unlock full access