Introductory Logic PHI 120
description
Transcript of Introductory Logic PHI 120
![Page 1: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/1.jpg)
Introductory LogicPHI 120
Presentation: "Truth Tables – Sequents"
This PowerPoint Presentation contains a large number of slides, a good many of which are nearly identical. If you print
this Presentation, I recommend six or nine slides per page.
![Page 2: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/2.jpg)
Homework1. Study Allen/Hand Logic Primer– Sec. 1.1, p. 1-2: “validity”– Sec. 2.2, p. 43-4, “validity” & “invalidating assignment
2. Complete Ex. 2.1, p. 42: i-x
Turn to page 40 in The Logic Primeralso take out TTs handout
![Page 3: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/3.jpg)
Truth TablesTruth Value of Sentences
Section 2.1(quick review)
![Page 4: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/4.jpg)
PTF
Atomic sentence
Simple
![Page 5: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/5.jpg)
Truth TablesComplex Sentences
See bottom of Truth Tables Handout
![Page 6: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/6.jpg)
Φ ~ ΦTF
~Φ• False?
![Page 7: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/7.jpg)
~Φ• False – if the statement being negated (Φ) is True
Φ ~ ΦT FF T
![Page 8: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/8.jpg)
Φ & Ψ• False?
Φ Ψ Φ & ΨT TT FF TF F
![Page 9: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/9.jpg)
Φ & Ψ• False – if one or both conjuncts are False
Φ Ψ Φ & ΨT TT F FF T FF F F
![Page 10: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/10.jpg)
Φ & Ψ• False – if one or both conjuncts are False
Φ Ψ Φ & ΨT T TT F FF T FF F F
![Page 11: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/11.jpg)
Φ v Ψ• False?
Φ Ψ Φ v ΨT TT FF TF F
![Page 12: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/12.jpg)
Φ v Ψ• False – only if both disjuncts are False
Φ Ψ Φ v ΨT TT FF TF F F
![Page 13: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/13.jpg)
Φ v Ψ• False – only if both disjuncts are False
Φ Ψ Φ v ΨT T TT F TF T TF F F
![Page 14: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/14.jpg)
Φ -> Ψ• False?
Φ Ψ Φ -> ΨT TT FF TF F
![Page 15: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/15.jpg)
Φ -> Ψ• False – if antecedent is True and consequent is False
Φ Ψ Φ -> ΨT TT F FF TF F
![Page 16: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/16.jpg)
Φ -> Ψ• False – if antecedent is True and consequent is False
Φ Ψ Φ -> ΨT T TT F FF T TF F T
![Page 17: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/17.jpg)
Φ <-> Ψ• False?
Φ Ψ Φ <-> ΨT TT FF TF F
![Page 18: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/18.jpg)
Φ <-> Ψ• False – if the two conditions have a different truth value
Φ Ψ Φ <-> ΨT TT F FF T FF F
![Page 19: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/19.jpg)
Φ <-> Ψ• False – if the two conditions have a different truth value
Φ Ψ Φ <-> ΨT T TT F FF T FF F T
![Page 20: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/20.jpg)
Φ v ~Φ
(P & ~Q) v ~(P & ~Q)Identify the main connective.
How many atomic sentences are in this WFF?
Note the binary structure
![Page 21: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/21.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)
Determine the number of rows for the WFF or the sequent as a whole
![Page 22: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/22.jpg)
P Q (P & ~ Q) v ~ (P & ~ Q)
1 2 3 4 5 6 7 8 9 10 11 12
Determine the number of rows for the WFF or the sequent as a whole
(P & ~Q) v ~(P & ~Q)
![Page 23: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/23.jpg)
TT Method in a Nutshell
Determine truth-values of:
1. atomic statements2. negations of atomics
3. inside parentheses4. negation of the parentheses
5. any remaining connectives
![Page 24: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/24.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)
1 2 3 4 5 6 7 8 9 10 11 12
Step 3 on HandoutFill in left main column first.
![Page 25: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/25.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)TTFF1 2 3 4 5 6 7 8 9 10 11 12
Step 3 on HandoutFill in left main column first.
![Page 26: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/26.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T TT FF TF F1 2 3 4 5 6 7 8 9 10 11 12
Step 3 on HandoutFill in left main column first.
![Page 27: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/27.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T TT FF TF F1 2 3 4 5 6 7 8 9 10 11 12
Step 4 on HandoutAssign truth-values for negation of simple statements
![Page 28: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/28.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T FT F TF T FF F T1 2 3 4 5 6 7 8 9 10 11 12
Step 4 on HandoutAssign truth-values for negation of simple statements
![Page 29: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/29.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F FT F T TF T F FF F T T1 2 3 4 5 6 7 8 9 10 11 12
Step 4 on HandoutAssign truth-values for negation of simple statements
![Page 30: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/30.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F FT F T TF T F FF F T T1 2 3 4 5 6 7 8 9 10 11 12
Step 5 on HandoutAssign truth-values for innermost binary connectives
When is a conjunction (an “&” statement) false?
![Page 31: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/31.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F FT F T TF T F FF F T T1 2 3 4 5 6 7 8 9 10 11 12
When is a conjunction (an “&” statement) false?
![Page 32: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/32.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F FT F T TF T F FF F T T1 2 3 4 5 6 7 8 9 10 11 12
When is a conjunction (an “&” statement) false?
![Page 33: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/33.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F FT F T TF T F F FF F T T1 2 3 4 5 6 7 8 9 10 11 12
When is a conjunction (an “&” statement) false?
![Page 34: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/34.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F FT F T TF T F F FF F F T T1 2 3 4 5 6 7 8 9 10 11 12
When is a conjunction (an “&” statement) false?
![Page 35: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/35.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F FT F T T TF T F F FF F F T T1 2 3 4 5 6 7 8 9 10 11 12
Step 5 on HandoutAssign truth-values for innermost binary connectives
![Page 36: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/36.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F F FT F T T T TF T F F F FF F F T F T1 2 3 4 5 6 7 8 9 10 11 12
![Page 37: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/37.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F F FT F T T T TF T F F F FF F F T F T1 2 3 4 5 6 7 8 9 10 11 12
Step 6a on HandoutAssign truth-values for negation of compounds
![Page 38: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/38.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
Step 6a on HandoutAssign truth-values for negation of compounds
![Page 39: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/39.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
Step 6b on HandoutAssign truth-values for remaining
When is a disjunction (a “v” statement) false?
![Page 40: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/40.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
Step 6b on HandoutAssign truth-values for remaining
![Page 41: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/41.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
When is a disjunction (a “v” statement) false?
![Page 42: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/42.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
When is a disjunction (a “v” statement) false?
![Page 43: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/43.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
When is a disjunction (a “v” statement) false?
![Page 44: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/44.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
When is a disjunction (a “v” statement) false?
![Page 45: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/45.jpg)
(P & ~Q) v ~(P & ~Q)Φ v ~Φ
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T T F FT F T T T F T TF T F F T T F FF F F T T T F T1 2 3 4 5 6 7 8 9 10 11 12
The values under the governing connective are all T’s.
![Page 46: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/46.jpg)
CLASSIFYING SENTENCESTTs: Sentences
p. 47-8: “tautology,” “inconsistency & contingent”
![Page 47: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/47.jpg)
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T F FT F T T F T TF T F F T F FF F F T T F T1 2 3 4 5 6 7 8 9 10 11 12
Tautologies• Only Ts under main operator• Necessarily true
Look Under the Main Connective Φ v Ψ
![Page 48: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/48.jpg)
P Q (P & ~ Q) v ~ (P & ~ Q)T T F F T T F FT F T T T F T TF T F F T T F FF F F T T T F T1 2 3 4 5 6 7 8 9 10 11 12
Tautologies• Only Ts under main operator• Necessarily true
Look Under the Main Connective Φ v Ψ
![Page 49: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/49.jpg)
P Q ~ ((P & ~ Q) v ~ (P & ~ Q))T T F F T T F FT F T T T F T TF T F F T T F FF F F T T T F T1 2 3 4 5 6 7 8 9 10 11 12 13
Inconsistencies• Only Fs under main operator• Necessarily false
Look Under the Main Connective
~Φ
![Page 50: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/50.jpg)
P Q ~ ((P & ~ Q) v ~ (P & ~ Q))T T F F F T T F FT F F T T T F T TF T F F F T T F FF F F F T T T F T1 2 3 4 5 6 7 8 9 10 11 12 13
Inconsistencies• Only Fs under main operator• Necessarily false
Look Under the Main Connective
~Φ
![Page 51: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/51.jpg)
P Q P & ~ QT T FT F TF T FF F T1 2 3 4 5 6
Contingencies• At least one T and one F under main operator• Sometime true, sometime false
Look Under the Main Connective Φ & Ψ
![Page 52: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/52.jpg)
P Q P & ~ QT T F FT F T TF T F FF F F T1 2 3 4 5 6
Contingencies• At least one T and one F under main operator• Sometime true, sometime false
Look Under the Main Connective Φ & Ψ
![Page 53: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/53.jpg)
Truth TablesSection 2.2
Sequents
“turnstile”
(conclusion indicator)
P -> Q, Q ⊢ P Premise(s) ⊢ Conclusion
![Page 54: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/54.jpg)
TESTING FOR VALIDITYTTs: Sequents
![Page 55: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/55.jpg)
Testing for Validity I
• The Invalidating Assignment– Conclusion: False– All Premises: True
Φ -> Ψ, Ψ ⊢ Φ– The TT will contain an invalidating assignment
(Invalid form: “Affirming the consequent”)
![Page 56: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/56.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ P
Φ -> Ψ , Ψ ⊢ Φ
![Page 57: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/57.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ P
![Page 58: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/58.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ P
![Page 59: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/59.jpg)
TT Method in a Nutshell
Determine truth-values of:
1. atomic statements2. negations of atomics
3. inside parentheses4. negation of the parentheses
5. any remaining connectives
![Page 60: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/60.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PTTFF
![Page 61: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/61.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PT TT FF TF F
![Page 62: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/62.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PT TT FF TF F
Always circle the governing connective in each sentence.
![Page 63: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/63.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PT TT F FF TF F
![Page 64: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/64.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PT T TT F FF T TF F T
![Page 65: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/65.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PT T TT F FF T T T FF F T F F
![Page 66: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/66.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PT T TT F FF T T T FF F T
InvalidIf invalidating assignment, then argument is:
![Page 67: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/67.jpg)
“Affirming the Consequent”P Q P -> Q , Q ⊢ PT T TT F FF T TF F T
Circle the invalidating assignment!
![Page 68: Introductory Logic PHI 120](https://reader035.fdocuments.us/reader035/viewer/2022070500/56816814550346895ddda48d/html5/thumbnails/68.jpg)
Homework1. Study Allen/Hand Logic Primer– Sec. 1.1, p. 1-2: “validity”– Sec. 2.2, p. 43-4, “validity” & “invalidating assignment
2. Complete Ex. 2.1, p. 42: i-x