In this type, we start with a disjunction (either A or B is true) and deduce what must be true given the disjunction is true.
In this type, we start with a disjunction (either A or B is true) and deduce what must be true given the disjunction is true.