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
Syllabus, Philosophy 170, Fall 2014
Lectures: M-W 11:00 am, LEF 2205;
Discussions: Thursdays or Fridays (See Testudo for details)
Professor:
Allen Stairs
1125 Skinner 301-405-5695
stairs@umd.edu
Ofce hours: By appointment
(Dont be afraid to ask!)
TAs:
Sun
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
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
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
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
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
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
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
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 >
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.
P and not-Q
Not-Q 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