Use the short truth table method to test for validity. (Try on your own before
looking at the answers.)
P Q R S  ~(P & Q)  Q v R  R > S  ~S > P
A B C  A v B  B = C  ~A = ~C  C
M X Y N M v (X > ~Y)  (M v N) & ~X  N > (
Practice First Exam #1, Philosophy 170
NAME:_
1. Translate into symbols using the indicated letters. PARENTHESES MATTER!
a) Jeremy will be upset if Chantal doesn't call.
b) Unless Isaac provides some incentive, Sandy will do the job only if Randall helps.
Short Truth Table Exercises
Use the short method to test each of the following for validity. Try them before you look
at the answers. Feel free to leave 10 and 12 out. Theyre harder.
1
P Q R  P > (Q > R)  (P > Q) > (P > R)
2
P Q R  ~P v Q  Q = R  P >
PHIL170 Practice Final 3
1) Put into symbols using the indicated letters.
a) Some Freshmen and Sophomores study Linear algebra.
b) Unless Philosophers are neither Civilized nor Amusing, deborah can Expect an interesting
evening.
c) Every Pupil with Ambiti
Practice Test 1, Exam #2 Philosophy 170
NAME:_
1. Translate using the indicated letters. In the case of the starred sentences, write both in
a form that begins with "~" and in a form that neither begins with a ~ nor has a ~
before a bracket.
a) Some Jogge
Practice Test 2, Exam #2 Philosophy 170
NAME:_
1.
Prove the following theorem. You may use any of our rules:
[~P ~(P Q)] P
2. Prove the following theorem without using the derived rules ~ or ~ . You may
use other derived rules. (HINT: prove a " by proving
PHIL170 Practice Final Exam 1
1) Put into symbols using the indicated letters.
a) All Sophomores and Juniors are Eligible.
b) Any Person who Works if and only if s/he Likes her job will end up Depressed.
c) If there's anyone (any Person) who can Climb the
PHIL170, Practice Final 2
1) Match each English sentence with the one correct symbolization.
Philosophers are not Amusing unless they are Existentialists _
No Philosophers are Amusing except for Existentialists _
No philosopher is both Amusing and an Exis
Practice First Exam #2, Philosophy 170
NAME:_
1. Suppose we know that a certain argument is valid and we also know that it has a true
conclusion. What, if anything, do we know about the premises? Explain.
2. Translate each of the following from English in
Things You Should Be Able To Do Easily
Rewrite each of the following so that no ~ immediately precedes a parenthesis
and no ~ immediately precedes a quantifier. Really. Rewrite. With pen and paper.
Not in your he
Syllabus, Philosophy 170, Fall 2014
Lectures: MW 11:00 am, LEF 2205;
Discussions: Thursdays or Fridays (See Testudo for details)
Professor:
Allen Stairs
1125 Skinner 3014055695
[email protected]
Ofce hours: By appointment
(Dont be afraid to ask!)
TAs:
Sun
P and notQ
NotQ or P
P and either Q or R
Either P and Q or R
R, if P and Q
Both R and either Q or P
Either both R and P or Q
Either P or both Q and R
If P then Q
Q if P
Q P
P Q
(P Q) R
P (Q R)
R (Q P )
(P Q) R
P (Q R)
(R P ) Q
P Q
P Q
Q only if P
Only i
Practice Final 5 ANSWERS
1. Translate into symbols using the indicated letters.
a) Only Cowards Run away from bullies.
x(Rx Cx)
b) There are People with Cell phones who arent Happy unless they're Downloading
ringtones.
x([Px & Cx] [Hx Dx])
c) If bob and e
Practice Final 4 ANSWERS
1. Translate into symbols using the indicated letters.
a) Every doG has its Day.
x(Gx Dx)
b) Some Dogs with Catlike features are considered Traitors by their conspecifics.
x(Dx Cx Tx)
c) Dogs and Cats don't Eat their young.
x([Dx
Practice First Exam #2, Philosophy 170 ANSWERS
NAME:_
1. Suppose we know that a certain argument is valid and we also know that it has a true
conclusion. What, if anything, do we know about the premises? Explain.
We can conclude nothing. Validity only rul
Practice Final 2 ANSWERS
1) Match each English sentence with the one correct symbolization.
Philosophers are not Amusing unless they are Existentialists _h_
No Philosophers are Amusing except for Existentialists _c_
No philosopher is both Amusing and an E
Practice Final 3 ANSWERS
1) Put into symbols using the indicated letters. (5 pts)
a) Some Freshmen and Sophomores study Linear algebra.
x(Fx Lx) x(Sx Lx)
b) Unless Philosophers are neither C1ivilized nor C2ultured, sally can Expect an interesting
evening.
Practice Test 2, Exam #2 Philosophy 170
NAME:_
1.
Prove the following theorem. You may use any of our rules:
[P (P Q)] P
1
P (P Q)
2

P
3

(P Q)
4

P
5


6
P
7
[P (P Q)] P
assp for P
assp for
1, 2 BMP
3,
2, 4
25 CP
16 CP
2. Prove the following
Practice First Exam #1, Philosophy 170 ANSWERS
NAME:_
1. Translate into symbols using the indicated letters. PARENTHESES MATTER!
a) Jeremy will be upset if Chantal doesn't call.
C J
b) Unless Isaac provides some incentive, Sandy will do the job only if Ra
Practice Final 1 ANSWERS
1) Put into symbols using the indicated letters. (5 pts)
a) All Sophomores and Juniors are Eligible.
x(Sx Jx] Ex)
b) Any Person who Works if and only if s/he's Paid will end up Unemployed.
x([Px & cfw_Wx Px] Ex)
c) If anyone (i.e.
Practice Test 1, Exam #2 Philosophy 170
NAME:_
1. Translate using the indicated letters. In the case of the starred sentences, write both in
a form that begins with " and in a form that neither begins with a nor has a
before a bracket.
a) Some Joggers ar
PHIL170 Quiz, Arguments and Counterexamples
In this quiz, we will use typewriter abbreviations:
For "~" write "~." For " write "&." For " write "v." For " write ">." For "
write "=."
For " write "@." F