1. 2 day 1intro day 2chapter 1 day 3chapter 2 day 4chapter 3 day 5chapter 4 day 6chapter 4 day...
Post on 21-Dec-2015
225 views
TRANSCRIPT
![Page 1: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/1.jpg)
1
INTRO LOGICINTRO LOGICDAY 04 DAY 04
![Page 2: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/2.jpg)
2
Schedule for Unit 1Schedule for Unit 1
Day 1 Intro
Day 2 Chapter 1
Day 3 Chapter 2
Day 4 Chapter 3
Day 5 Chapter 4
Day 6 Chapter 4
Day 7 Chapter 4
Day 8 EXAM #1
40% of Exam 1
60% of Exam 1
warm-up
![Page 3: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/3.jpg)
3
CHAPTER 3CHAPTER 3VALIDITY IN VALIDITY IN
SENTENTIAL LOGIC SENTENTIAL LOGIC
![Page 4: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/4.jpg)
4
Validity in GeneralValidity in General
an argument is valid
if and only if
it is impossible for
the conclusion to be false
while
the premises are true
an argument is invalid
if and only if
it is possible for
the conclusion to be false
while
the premises are true
![Page 5: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/5.jpg)
5
Validity in Sentential LogicValidity in Sentential Logic
an argument is valid
if and only if
there is no casecase in which
the premises are trueand
the conclusion is false
an argument is invalid
if and only if
there is at least one casecase in which
the premises are trueand
the conclusion is false
![Page 6: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/6.jpg)
6
What is a Case?What is a Case?
A casecase is a
possible combination of truth-values
assigned to the atomic formulas.
![Page 7: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/7.jpg)
7
case 4
case 3
case 2
case 1
SR
Example 1Example 1
If an argument form has 2 atomic sentences, then there are 4 casescases [4 = 22].
F
T
F
T T
T
F
F
![Page 8: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/8.jpg)
8
Example 2Example 2
If an argument form has 3 atomic sentences, then there are 8 casescases [8 = 23].
Q R S
case 1 T T T
case 2 T T F
case 3 T F T
case 4 T F F
case 5 F T T
case 6 F T F
case 7 F F T
case 8 F F F
![Page 9: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/9.jpg)
9
Example 1 Example 1 Modus TollensModus Tollens
/ not R; not Sif R then S
/ R; SR S
/ conclusion; premisepremise
![Page 10: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/10.jpg)
10
Truth-TableTruth-Table
R S ; S
F
T
F
T
S
F4
F3
T2
T1
/ RRcase
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid?
T
T
F
T
T
F
T
F
T
T
F
F
VALID
NO
![Page 11: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/11.jpg)
11
Example 2 Example 2 Evil TwinEvil Twin of Modus Tollens of Modus Tollens
/ not S; not Rif R then S
/ S; RR S
/ conclusion; premisepremise
![Page 12: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/12.jpg)
12
CounterexampleCounterexample
/ I don't live in Mass
; I don't live in Boston
if I live in Boston then I live in Mass
FTT
/ not S; not Rif R then S
![Page 13: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/13.jpg)
13
Truth-TableTruth-Table
F
T
F
T
S
F4
F3
T2
T1
R S ; R / SRcase
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid?
T
YES
INVALID
T
F
T
T
T
F
F
T
F
T
F
![Page 14: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/14.jpg)
14
Example 3 Example 3 Modus PonensModus Ponens
/ S; Rif R then S
/ S; RR S
/ conclusion; premisepremise
![Page 15: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/15.jpg)
15
Truth-TableTruth-Table
R S ; R
F
T
F
T
S
F4
F3
T2
T1
/ SRcase
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid?
T
T
F
T
F
F
T
T
F
T
F
T
VALID
NO
![Page 16: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/16.jpg)
16
/ R; Sif R then S
/ R; SR S
/ conclusionpremise
Example 4 Example 4 Evil TwinEvil Twin of Modus Ponens of Modus Ponens
; premise
![Page 17: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/17.jpg)
17
CounterexampleCounterexample
/ I live in Boston
; I live in Mass
if I live in Boston then I live in Mass
FTT
/ R; Sif R then S
![Page 18: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/18.jpg)
18
Truth-TableTruth-Table
R S ; S
F
T
F
T
S
F4
F3
T2
T1
/ RRcase
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid?
T
YES
INVALID
T
F
T
F
T
F
T
F
F
T
T
![Page 19: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/19.jpg)
19
Example 5 Example 5 Modus Tollendo PonensModus Tollendo Ponens(disjunctive syllogism)(disjunctive syllogism)
/ S; not RR or S
/ S; RR S
/ conclusion; premisepremise
![Page 20: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/20.jpg)
20
Truth-TableTruth-Table
R S ; R
F
T
F
T
S
F4
F3
T2
T1
/ SRcase
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid?
F
T
T
T
T
T
F
F
F
T
F
T
VALID
NO
![Page 21: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/21.jpg)
21
/ not S; RR or S
/ S; RR S
/ conclusion; premisepremise
Example 6 Example 6 Evil TwinEvil Twin of MTP of MTP
![Page 22: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/22.jpg)
22
Truth-TableTruth-Table
R S ; R
F
T
F
T
S
F4
F3
T2
T1
/ SRcase
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid?
F
YES
INVALID
T
T
T
F
F
T
T
T
F
T
F
![Page 23: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/23.jpg)
23
Example 7Example 7
/
/ not ( R and S)
( R & S )R
not R
![Page 24: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/24.jpg)
24
Truth-TableTruth-Table
/
F
T
F
T
S )
F
F
T
T
( R &
F
F
T
T
R
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid?
T
T
F
F
T
T
T
F
F
F
F
T
VALID
NO
![Page 25: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/25.jpg)
25
Example 8Example 8
/
/not ( R and S) not R
( R & S ) R
![Page 26: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/26.jpg)
26
Truth-TableTruth-Table
/
Is there a case in which the premises are all true but the conclusion is false?
Is the argument form valid or invalid? INVALID
YES
F
F
T
T
R
T
T
F
F
F
T
F
T
S )
F
F
T
T
( R &
T
T
T
F
F
F
F
T
![Page 27: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/27.jpg)
27
Logical EquivalenceLogical Equivalence
Two formulas are logically equivalentlogically equivalent
if and only if
they have the same truth-value
no matter what (in every case).
![Page 28: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/28.jpg)
28
Examples 7 and 8Examples 7 and 8
not R and not S=not ( R and S)
IT IS JUST LIKE MATH!
ZOMBIE ZOMBIE REASONINGREASONING
not R or not S=not ( R or S)
x2 + y2=( x + y)2
x + y=( x + y)
![Page 29: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/29.jpg)
30
Truth-Table for 7Truth-Table for 7
F
F
T
T
R & &
F
T
F
T
S
F
T
F
T
S ) //
F
F
T
T
( R
Are the two formulas logically equivalent?
F
F
F
T
T
T
T
F
T
T
F
F
T
F
T
F
T
F
F
F
Do the formulas match in truth value? NONO
![Page 30: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/30.jpg)
31
Truth-Table for 8Truth-Table for 8
F
F
T
T
R
F
T
F
T
S
F
T
F
T
S ) //
F
F
T
T
( R
Are the two formulas logically equivalent?
F
T
T
T
T
F
F
F
T
T
F
F
T
F
T
F
T
T
T
F
Do the formulas match in truth value? NONO
![Page 31: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/31.jpg)
32
Valid Equivalence – 1Valid Equivalence – 1
( R & S ) // R S
F T T T T T F F T
T T F F F T T T F
T F F T T F T F T
T F F F T F T T F
Are the two formulas logically equivalent? YES
Do the formulas match in truth value? YES
![Page 32: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/32.jpg)
33
Valid Equivalence – 2Valid Equivalence – 2
( R S ) // R & S
F T T T F T F F T
F T T F F T F T F
F F T T T F F F T
T F F F T F T T F
Do the formulas match in truth value?
Are the two formulas logically equivalent? YES
YES
![Page 33: 1. 2 Day 1Intro Day 2Chapter 1 Day 3Chapter 2 Day 4Chapter 3 Day 5Chapter 4 Day 6Chapter 4 Day 7Chapter 4 Day 8EXAM #1 40% of Exam 1 60% of Exam 1 warm-up](https://reader030.vdocuments.net/reader030/viewer/2022032521/56649d585503460f94a37592/html5/thumbnails/33.jpg)
34
THE ENDTHE END