Very helpful, but I don’t understand why in the first examples of the five replacement rules you had to use commutation for having a DS? If the rule of DS can work with ~p or ~q.
For the last problem in the first 5 rules, why did you use simplification on line 3? I thought that simplification was p*q/p. Following that, wouldn't you have not been able to conduce HvL but K or am I missing something?
Very helpful
Very helpful, but I don’t understand why in the first examples of the five replacement rules you had to use commutation for having a DS?
If the rule of DS can work with ~p or ~q.
For the last problem in the first 5 rules, why did you use simplification on line 3? I thought that simplification was p*q/p. Following that, wouldn't you have not been able to conduce HvL but K or am I missing something?
that's a good catch! I should have use commutativity first and then simplified