Difference in Rules of Inference, Gensler and Copi
When I took Logic in college we used Gensler's Introduction to Logic. I really liked it, concise, clear and logicola was extremely helpful.
Recently I picked up Copi's book Introduction to Logic and noticed that he uses different Inference Rules. Why is there such a difference? For example: Gensler does not use De Morgan's theorem while Copi does not use rules like: ?(A ? B) ? A, ? B.
I understand the distinction Gensler makes between S-Rules and I-Rules as well as Copi's distinction between Elementary Valid Argument Forms and Logically Equivalent Expressions. I do not understand why they have different rules for what is called the same, propositional logic, what am I missing?
Recently I picked up Copi's book Introduction to Logic and noticed that he uses different Inference Rules. Why is there such a difference? For example: Gensler does not use De Morgan's theorem while Copi does not use rules like: ?(A ? B) ? A, ? B.
I understand the distinction Gensler makes between S-Rules and I-Rules as well as Copi's distinction between Elementary Valid Argument Forms and Logically Equivalent Expressions. I do not understand why they have different rules for what is called the same, propositional logic, what am I missing?
Comments (2)
This gets called "interderivability"; for two given lists of inference rules (or more generally, propositions), if you can derive all of the consequences of one from the other and vice versa the lists are interderivable.