Phil 125
Fall 2015
R.Feleppa
Second Exam Review
I. Prove valid.
A.
1. ~(S -> Q)
2. (S -> R)
3. (P -> Q) /.'. (R . ~P)
B.
1. ~(F . ~ W)
2. (F v ~W) /.'. (F W)
C.
1. (~Z -> D)
2. (Z -> X)
3. (~D v T) /.'. (X v T)
D.
1. (L -> ( Q -> R )
2. ~ ( ~L v R ) /.'.
Phil 125
Spring 2016
R. Feleppa
Truth-Value Analysis Practice #1
Logical connectives defined:
~ reverses true/false
p
T
F
~p
F
T
. says both are true
p
T
T
F
F
q
T
F
T
F
says at least one is true
p . q
T
F
F
F
p
T
T
F
F
q
T
F
T
F
p v q
T
T
T
F
Part I: As
Phil 125
Spring 2016
R. Feleppa
Truth-Table Analysis
I. Statement analysis: Construct a complete table for the following statements.
A.
(P Q) v ~P
P
Q
(P Q) v ~P
B. ~ ( P v Q ) ~ P
P
Q
~(P v Q) ~P
II. Argument analysis. Construct a complete truth table fo
Phil 125
Spring 2016
R. Feleppa
Exam #1 Review-with answers
Exam Content: You should be prepared for any type of exercise which appears in text exercises in chapters 1 and 2, or
on handouts and Blackboard postings. There may be exam questions which differ
Phil 125 Spring 2016
R. Feleppa
Introduction to Logical Symbolization: the symbols tilde, dot, and wedge
Basic Steps:
1. Identify simple (atomic, non-compound) statements and assign capital letters to abbreviate them. Assign letters in
a consistent way: d
Phil 125 Spring 2016
Introduction to Logical Symbolization: the Arrow and Tribar
Summary of logical connectives: A Alice takes a vacation
R. Feleppa
B Bob takes a vacation
(arrow):
if _ then _
or
only if
(AB)
If Alice takes a vacation then Bob takes one
Phil 125
Spring 2016
Symbolization Review #1
Symbolize using the letters provided.
I. Negations. (T Tulsa is in Kansas; W Wichita is in Kansas)
R. Feleppa
1. Tulsa is not in Kansas.
2. It is not the case that Wichita is not in Kansas.
3. Tulsa is not in K
Exercise 1-1. Recognizing arguments:
1. Determine when someone is giving an argument or not
2. Distinguish the premises from the conclusion
3. Put the argument in standard form.
2. Since Charles Dewey will only be twenty-seven in 2004 he will not be
eligi
Phil 125
Spring 2016
I. Prove valid.
Third Exam Review
A.
1. ~(S Q)
2. S R
3. P Q / R . ~P
B.
1. ~F v W
2. F v ~W / F W
C.
1. ~Z D
2. Z X
3. ~D v T / X v T
D.
1. L M
2. ~L M / ~M R (tricky)
E.
1. Z J
2. (J . F) P
3. X . F / Z P
F.
1.
2.
3.
4.
PQ
~S ~R
Q (
Phil 125 Spring 2016
3rd Exam Review Answers
I. A.
B.
1. ~(S Q)
1. (~F v W)
2. (S R)
2. (F v ~W) /.'. (F W)
3. (P Q) /.'. (R . ~P)
3. (F W)
Imp 1
4. ~(~S v Q) Imp 1
4. (~F ~W) Imp 2
5. (S . ~Q)
DeM 4
5 . (W F)
Cont 4
then Simp 5 twice, MP, MT, Conj
then C