Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.
-
Upload
august-stanley -
Category
Documents
-
view
225 -
download
1
Transcript of Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.
![Page 1: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/1.jpg)
Introductory LogicPHI 120
Presentation: “Solving Proofs"
Bring the Rules Handout to lecture
![Page 2: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/2.jpg)
Homework• Memorize the primitive rules, except ->I and
RAA
• Ex. 1.4.2 (according to these directions)
For Each Sequent, answer these two questions:1. What is the conclusion?2. How is the conclusion embedded in the
premises?
![Page 3: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/3.jpg)
Homework I• Memorize the primitive rules
– Capable of writing the annotationm vI
– Cite how many premises make up each ruleone premise rule
– Cite what kind of premises make up each rulecan be any kind of wff (i.e., one of the disjuncts)
– Cite what sort of conclusion may be deriveda disjunction
See The Rules Handout
Except ->I and RAA
![Page 4: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/4.jpg)
Homework I• Memorize the primitive rules
– Capable of writing the annotationm vI
– Cite how many premises make up each ruleone premise rule
– Cite what kind of premises make up each rulecan be any kind of wff (i.e., one of the disjuncts)
– Cite what sort of conclusion may be deriveda disjunction
See The Rules Handout
Except ->I and RAA
![Page 5: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/5.jpg)
Content of Today’s Lesson
1. Proof Solving Strategy
2. The Rules
3. Doing Proofs
![Page 6: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/6.jpg)
Expect a Learning Curve with this New Material
Homework is imperative
Study these presentations
![Page 7: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/7.jpg)
SOLVING PROOFS“Natural Deduction”
Strategy
![Page 8: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/8.jpg)
Key Lesson Today
(1) Read Conclusion
(2) Find Conclusion in Premises
P -> Q, Q -> R ⊢ P -> R
Valid Argument:True Premises Guarantee a True Conclusion
![Page 9: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/9.jpg)
Ex. 1.4.2
My DirectionsConclusion
(1) What is the conclusion?
Conclusion in Premises
(2.a) Is the conclusion as a whole embedded in any premise?
If yes, where? Else…
(2.b) Where are the parts that make up the conclusion embedded in the premise(s)?
S1 – S10
2) How is the conclusion embedded in the premises?
Homework II
![Page 10: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/10.jpg)
Conclusion in Premises• Example: S16
P -> Q, Q -> R ⊢ P -> R
![Page 11: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/11.jpg)
Conclusion in Premises• Example: S16
P -> Q, Q -> R ⊢ P -> RC1.Conclusion:
a conditional statement
2.Conclusion in the premises: The conditional is not embedded in any premise Its antecedent “P” is the antecedent of the first premise. Its consequent “R” is the consequent of the second
premise.
Answers:
![Page 12: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/12.jpg)
SOLVING PROOFS“Natural Deduction”
The Rules
![Page 13: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/13.jpg)
Proofs
• Rule based system– 10 “primitive” rules
• Aim of Proofs– To derive conclusions on basis of given premises
using the primitive rules
See page 17 – “proof”
![Page 14: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/14.jpg)
What is a Primitive Rule of Proof?
• Primitive Rules are Basic Argument Forms– simple valid argument forms
• Rule Structure– One conclusion
– Premises• Some rules employ one premise• Some rules employ two premises
Φ & Ψ ⊢ Φ
m &E Ampersand-EliminationGiven a sentence that is a conjunction, conclude either conjunct
m,n &I Ampersand-IntroductionGiven two sentences, conclude a conjunction of them.
Φ , Ψ ⊢ Φ & Ψ
![Page 15: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/15.jpg)
Catch-22You have to memorize the rules!
1. To memorize the rules, you need to practice doing proofs.
2. To practice proofs, you need to have the rules memorized
A Solution of Sorts
"Rules to Memorize" on The Rules handout
![Page 16: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/16.jpg)
&E ampersand elimination
vE wedge elimination
->E arrow elimination
<->E double-arrow elimination
&I ampersand introduction
vI wedge introduction
->I arrow introduction
<->I double-arrow introduction
Elimination Introduction
Make a conclusion
Break a premise
![Page 17: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/17.jpg)
THE TEN “PRIMITIVE” RULESProofs
Elimination Rules (break a premise) Introduction Rules (make a conclusion)
* &E (ampersand Elimination) * &I (ampersand Introduction)
* vE (wedge Elimination) * vI (wedge Introduction)
* ->E (arrow Elimination) * ->I (arrow Introduction)
* <->E (double arrow Elimination) * <->I (double arrow Introduction)
A (Rule of Assumption)
RAA (Reductio ad absurdum)
![Page 18: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/18.jpg)
The 10 Rules
Rules of Derivation
1 rule of "assumption": A
4 "elimination" rules: &E, vE, ->E, <->E
4 "introduction" rules: &I, vI, ->I, <->I
1 more rule: “RAA” (reductio ad absurdum)
= 10 rules
![Page 19: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/19.jpg)
The 10 Rules
Rules of Derivation
1 rule of "assumption": A
4 "elimination" rules: &E, vE, ->E, <->E
4 "introduction" rules: &I, vI, ->I, <->I
1 more rule: “RAA” (reductio ad absurdum)
= 10 rules
![Page 20: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/20.jpg)
Proofs: 1st Rule
• The most basic rule: <A> Rule of Assumption
a) Every proof begins with assumptions (i.e., basic premises)
b) You may assume any WFF at any point in a proof
Assumption Numberthe line number on which the “A” occurs.
![Page 21: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/21.jpg)
The 10 Rules
Rules of Derivation
1 rule of "assumption": A
4 "elimination" rules: &E, vE, ->E, <->E
4 "introduction" rules: &I, vI, ->I, <->I
1 more rule: “RAA” (reductio ad absurdum)
= 10 rules
![Page 22: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/22.jpg)
The 10 Rules
Rules of Derivation
1 rule of "assumption": A
4 "elimination" rules: &E, vE, ->E, <->E
4 "introduction" rules: &I, vI, ->I, <->I
1 more rule: “RAA” (reductio ad absurdum)
= 10 rules
![Page 23: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/23.jpg)
Proofs: 2nd – 9th Rules
–Elimination Rules – break premises
–Introduction Rules – make conclusions
The Guts of the System
&I, vI, ->I, <->I
&E, vE, ->E, <->E
![Page 24: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/24.jpg)
The 10 Rules
Rules of Derivation
1 rule of "assumption": A
4 "elimination" rules: &E, vE, ->E, <->E
4 "introduction" rules: &I, vI, ->I, <->I
1 more rule: “RAA” (reductio ad absurdum)
= 10 rules
![Page 25: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/25.jpg)
The 10 Rules
Rules of Derivation
1 rule of "assumption": A
4 "elimination" rules: &E, vE, ->E, <->E
4 "introduction" rules: &I, vI, ->I, <->I
1 more rule: “RAA” (reductio ad absurdum)
= 10 rules
(later)
![Page 26: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/26.jpg)
SOLVING PROOFS“Natural Deduction”
Doing Proofs
![Page 27: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/27.jpg)
m &EDoing Proofs
The “annotation”
page 18
![Page 28: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/28.jpg)
P & Q P⊢
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 29: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/29.jpg)
P & Q P⊢(1)
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 30: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/30.jpg)
P & Q P⊢(1) A
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 31: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/31.jpg)
P & Q P⊢(1) P & Q A
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 32: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/32.jpg)
P & Q P⊢1 (1) P & Q A
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 33: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/33.jpg)
P & Q P⊢1 (1) P & Q A
(2)
![Page 34: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/34.jpg)
P & Q P ⊢1 (1) P & Q A
(2) P ???
Read the sequent!
"P" is embedded in the premise.
We will have to break it out of the conjunction. Hence &E.
![Page 35: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/35.jpg)
P & Q P⊢1 (1) P & Q A
(2) P ???
![Page 36: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/36.jpg)
P & Q P⊢1 (1) P & Q A
(2) P 1 &E
![Page 37: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/37.jpg)
P & Q P⊢1 (1) P & Q A
(2) P 1 &E
![Page 38: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/38.jpg)
P & Q P⊢1 (1) P & Q A
(2) P 1 &E
![Page 39: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/39.jpg)
P & Q P⊢1 (1) P & Q A
(2) P 1 &E
![Page 40: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/40.jpg)
P & Q P⊢1 (1) P & Q A1 (2) P 1 &E
![Page 41: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/41.jpg)
m,n &IDoing Proofs
The “annotation”
![Page 42: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/42.jpg)
P, Q Q & P⊢
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 43: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/43.jpg)
P, Q Q & P⊢(1)
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 44: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/44.jpg)
P, Q Q & P⊢(1) A
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 45: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/45.jpg)
P, Q Q & P⊢(1) P A
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 46: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/46.jpg)
P, Q Q & P⊢1 (1) P A
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 47: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/47.jpg)
P, Q Q & P⊢1 (1) P A
(2)A line of a proof contains four elements: (i) line number (number within parentheses)
![Page 48: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/48.jpg)
P, Q Q & P⊢1 (1) P A
(2) AA line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right)
![Page 49: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/49.jpg)
P, Q Q & P⊢1 (1) P A
(2) Q AA line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number)
![Page 50: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/50.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A
A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)
![Page 51: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/51.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A
(3)
![Page 52: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/52.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A
(3) ???
Read the sequent!
"P & Q" is not embedded in any premise.
We will have to make the conjunction. Hence &I
![Page 53: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/53.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A
(3) ?, ? &I
![Page 54: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/54.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A
(3) Q & P ?, ? &I
![Page 55: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/55.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A
(3) Q & P 1, 2 &I
![Page 56: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/56.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A
(3) Q & P 1, 2 &I
![Page 57: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/57.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A1,2 (3) Q & P 1, 2 &I
Don't forget to define the assumption set!
![Page 58: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/58.jpg)
P, Q Q & P⊢1 (1) P A2 (2) Q A1, 2 (3) Q & P 1, 2 &I
![Page 59: Introductory Logic PHI 120 Presentation: “Solving Proofs" Bring the Rules Handout to lecture.](https://reader036.fdocuments.in/reader036/viewer/2022062320/56649f535503460f94c77f84/html5/thumbnails/59.jpg)
Homework• Memorize the primitive rules, except ->I and
RAA
• Ex. 1.4.2 (according to these directions)
For Each Sequent, answer these two questions:1. What is the conclusion?2. How is the conclusion embedded in the
premises?