Wikipedia: "List of Rules of Inference"
Read over the text from Wikipedia on rules of inference. Rules of inference are used to show that one statement is a consequence of another statement and, thus, are used for constructing proofs. The summary table is located before the truth table and the examples. The Rules of Inference are referred to by names in the 3rd column in the table. In this course, alternate names are also used. Those that have corresponding alternate names are listed in the following table:
|
Wikipedia Name |
Alternate Name |
|
Disjunction |
Generalization |
|
Conjunction |
Specialization |
|
Elimination |
Generalization |
|
Modus Ponens |
|
|
Modus Tollens |
|
|
Hypothetical Syllogism |
Transitivity |
|
Disjunctive Syllogism |
Disjunctive Elimination |
|
Resolution |
Elimination |
Click https://en.wikipedia.org/wiki/List_of_rules_of_inference link to open resource.