Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 10
ADVERTISEMENT
1
2
3
4
5
6
7
8
9
10
11
12An argument form is valid if the conclusion is always true when
An argument is valid when its argument form is valid.
Here’s an argument you (may have) presented to your parents in high school. Is it valid?
If I have a rock concert on our deck, I am a cool.
I am cool.
∴ I (should/will) have a rock concert on our deck.
p
q
q
p
p →q
If Kelly solved the problem, then Kelly is a genius or Kelly cheated.
Kelly did not cheat, and Kelly solved the problem.
∴ Kelly is a genius.
p
q
r
? Critical
Rows
T
T
T
T
T
F
T
F
T
T
F
F
F
T
T
F
T
F
F
F
T
F
F
F
Two famous rules of inference:
Modus ponens: (method of affirming)
Modus tollens: (method of denying)
p → q
p → q
p
~ q
∴ q
∴ ~ p
Is this argument valid?
If you are a CS major, then you are held in awe by most Loyola students.
You are not held in awe by most Loyola students.
∴ You are not a CS major.
CS610 Lecture 1 p. 10
ADVERTISEMENT
0 votes
Related Articles
Related forms
3.1 Quadratic Functions Examples And Worksheet - Chapter 3: Polynomial And Rational Functions
Education
The Graph Of A Quadratic Function (day 1) Examples And Worksheet - Algebra Unit 11-graphing Quadratics
Education
Lesson 3.3, 3.4, And 3.5: Adding, Subtracting, And Multiplying Integers Examples And Worksheets
Education
Capacity And Weight In The Customary System Examples And Worksheet - Chapter 8 Systems Of Measurement
Education
Related Categories
Parent category: Education