Derived Rules Definition of a Derived Rule for

  • Slides: 12
Download presentation
Derived Rules Definition of a Derived Rule for a given system of logic: A

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

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 Definition of a Derived Rule for a given system of logic: A

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.

Showing Rules are Derived To show that a rule is a derived rule. Simply

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

Showing Rules are Derived To show that a rule is a derived rule. Simply

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.

An Odd Student Complaint Students often comment: I was doing well in this course

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.

An Odd Student Complaint Students often comment: I was doing well in this course

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.

An Odd Student Complaint Students often comment: I was doing well in this course

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.

An Odd Student Complaint Students often comment: I was doing well in this course

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.

An Odd Student Complaint Students often comment: I was doing well in this course

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.

A Conservative Strategy Introduce derived rules gradually in three stages:

A Conservative Strategy Introduce derived rules gradually in three stages:

A Conservative Strategy Introduce derived rules gradually in three stages: HIGHLY RECOMMENDED THE REST

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