1 / 12

Derived Rules

Derived Rules. Definition of a Derived Rule for a given system of logic: A rule that can be proven in the system. Derived Rules. Definition of a Derived Rule for a given system of logic: A rule that can be proven in the system. Derived rules are not necessary. Derived Rules.

doane
Download Presentation

Derived Rules

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Derived Rules Definition of a Derived Rule for a given system of logic: A rule that can be proven in the system.

  2. Derived Rules Definition of a Derived Rule for a given system of logic: A rule that can be proven in the system. Derived rules are not necessary.

  3. Derived Rules Definition of a Derived Rule for a given system of logic: A rule that can be proven in the system. Derived rules are not necessary. But they can be helpful in simplifying proofs.

  4. Showing Rules are Derived To show that a rule is a derived rule. Simply prove it in the system.

  5. Showing Rules are Derived To show that a rule is a derived rule. Simply prove it in the system. We will do that for most of the derived rules presented in this course.

  6. An Odd Student Complaint Students often comment: I was doing well in this course until we got to the derived rules. Now I can’t do proofs anymore.

  7. An Odd Student Complaint Students often comment: I was doing well in this course until we got to the derived rules. Now I can’t do proofs anymore. WHY THIS IS PUZZLING. The 11 rule system is complete, so you do not need to use the derived rules.

  8. An Odd Student Complaint Students often comment: I was doing well in this course until we got to the derived rules. Now I can’t do proofs anymore. WHY THIS IS PUZZLING. The 11 rule system is complete, so you do not need to use the derived rules. All the derived rules do is make proofs easier.

  9. An Odd Student Complaint Students often comment: I was doing well in this course until we got to the derived rules. Now I can’t do proofs anymore. WHY STUDENTS HAVE THIS PROBLEM: They have forgotten the 11 basic rules and their strategies and are trying to use the derived rules only.

  10. An Odd Student Complaint Students often comment: I was doing well in this course until we got to the derived rules. Now I can’t find proofs anymore. WHAT TO DO INSTEAD. Make sure that you know and can make use of the basic 11 rules. Use derived rules as a supplement to the 11 rule system. Be conservative.

  11. A Conservative Strategy Introduce derived rules gradually in three stages:

  12. A Conservative Strategy Introduce derived rules gradually in three stages: HIGHLY RECOMMENDED RECOMMENDED THE REST For more click here

More Related