Exploring Disjunction Elimination
Let's dive into the details surrounding Disjunction Elimination.
- An example of
- ... rules already and in this video we'll add the rules for disjunction let's think about what the
- A demo of
- ... of the cases so we call that true
- In this video I go through 3 examples using the v-elim and v-intro rules. This assumes understanding of the conjunction rules.
In-Depth Information on Disjunction Elimination
One of the rules of our natural deduction system is the This is a tutorial explaining how to use I have created the lecture videos for this class in Indiana University Bloomington's Academic Media Production Space, and with ... ... lecture will explain the rule of ore
Formal rules for disjunction ('∨') are a little more interesting than the conjunctive ones. Well, at least,
That wraps up our extensive overview of Disjunction Elimination.
