PHIL 1320 Term 2 Exam
Instructions:
This exam consists of three parts. Part A consists of questions concerning categorical logic.
Part B consists of questions concerning propositional logic. Part C consists of questions
concerning predicate logic. The mark for each question is indicated with the question.
FOR ALL QUESTIONS SHOW YOUR WORK. REMEMBER: WHEN YOU ARE ASKED TO EXPLAIN
SOMETHING, YOUR EXPLANATION IS REQUIRED AS PART OF THE EVALUATION. PART MARKS CAN BE
AWARDED
** Total possible high score = 200 marks**
PART A:
1. Translations. The following categorical propositions are not in standard form. Restate them in
standard form, and identify each of your reformulations as an A, E, I or O proposition. (2 marks each.
Total marks = 10.)
a) Not all Democrats support massive welfare spending.
b) Everyone who arrives by six o’clock in the morning will receive free admission.
c) It is not the case that the only things in life that are certain are death and taxes.
d) Distinguishedlooking people are often tall.
e) People are not machines.
2. Assuming the Aristotelian Square of Opposition, what can be inferred about the truth or falsehood of
the remaining propositions in the following set (a) if we assume the first one (*) to be true, and (b) if we
assume the first one (*) to be false (5 marks)
(*)Some college professors are not entertaining lecturers. (*)
All college professors are entertaining lecturers.
No college professors are entertaining lecturers.
Some college professors are entertaining lecturers.
3. Provide the converse, obverse, and contrapositive for each of the following propositions. (10 marks)
a) Some results of plastic surgery are things beyond belief.
b) Some Las Vegas casinos are not places likely to increase your wealth.
c) All microwave foods are things best left uneaten.
4. Assuming the Aristotelian interpretation, provide a Venn Diagram for the following propositions.
Ensure you clearly indicate the subject and predicate terms. (2 marks each. 10 marks total.)
a) All banana splits are healthy desserts.
b) All pigs are fantastic pets.
c) Some poets are dead people.
d) Some Olympic gold medal winners are drug cheats.
e) No dead people are people who tell tales.
5. Translate the following syllogisms into a standard form categorical syllogisms indicating their
mood and figure, and test them for validity by means of a Venn diagram. Be sure to properly label your
diagram. Assume the Boolean interpretation. Note – (c) is an enthymeme. Complete it as a valid
categorical syllogism (5 marks each, 20 marks total).
a) Some students are not female, but some males are not students; thus, some males are not
females.
b) Since no gillygongs are visible, we can conclude that no dogs are gillygongs for all dogs are
visible.
c) Sam’s Steak House must have pretty low prices. Uncle George took Aunt Tillie there for dinner
last night.
d) Some syllogisms are arguments whose validity or invalidity is not readily apparent. All syllogisms
are arguments whose validity or invalidity needs to be established. Therefore, some arguments
whose validity or invalidity needs to be established are not arguments whose validity or
invalidity is not readily apparent.
6. The following categorical syllogisms are expressed solely by their mood and figure. Use the rules of
validity provided in the reference material for this exam to discern the validity of the syllogisms. If the
syllogism is valid indicate that. If the syllogism is invalid, indicate all the rules that it violates. (2 marks
each. 10 marks total.)
a) AAA3
b) EAE3
c) OAO4
d) EIO1
e) OAO2
7. Sorites. Rephrase this Sorites as a chain of categorical syllogisms. Indicate the mood and figure of
each syllogism (5 marks)
1. All scavengers are flesh eaters.
2. No vegetarians are flesh eaters.
3. All hoofed mammals are vegetarians.
Therefore, hoofed mammals are scavengers.
PART B:
Questions # 1 – #8 are worth 5 marks each. Ensure you provide explanation where requested. (40 marks
total.)
1. Provide an example of an ordinary language argument in the argument form modus ponens.
Provide an example of an ordinary language argument in the related formal fallacy of denying the
antecedent. Why is this fallacy so persuasive
2. Provide a statement in symbolic form that has at least two simple statements as components and
is a contradiction. Provide a truth table for your statement that indicates its selfcontradictory
nature.
3. As we know, for large arguments in our propositional logic with more than 4 simple statements
showing the validity by using a truth table is cumbersome and unwieldy. In such cases, we use the
indirect method. Briefly explain what the indirect method involves and why we are justified in
using it to determine the validity of a symbolized argument.
4. Consider the following derivation taken from a proof of validity.
n. (A v B) v C ….
n+1. ~ A ….
n+2 C n – (n+1) DS
Explain why this derivation exhibits an incorrect use of the DS rule of inference.
5. Given the following conclusion for an argument you are going to prove, what would be your first
assumption if you were using Conditional Proof (CP) If you were to use more than one
application of CP, what would be the other assumption(s) in order of appearance
{(A B) [(A C) A]}
6. Would the following statement qualify as a contradiction and so could then be used as the last
step in the application of an Indirect Proof (IP) Provide a truth table to support your answer.
(~ A ~ B) • (A B)
7. Prove the following tautology using CP, IP, and any of the 18 rules of inference.
~ [(A • ~ B) • ~ (A v B)]
8. Determine whether the following pair of symbolized statements are logically equivalent. Provide a
truth table to support your answer.
~ (H • K) v ~ (K v M) (~ H v ~ K) v (~ K • ~ M)
9. Translate the following arguments symbolically using the letters indicated for the simple
propositions. Discern the validity of each of these arguments. For question (a), you must discern
the validity using a truth table. For the remaining questions you may use a truth table or the
indirect method. (5 marks each, 15 marks total.)
a. If John is a plumber, then either Sam is a bricklayer, or Tim is a carpenter. But Sam is not
a bricklayer, nor is Tim a carpenter. Therefore, John is not a plumber. (J, S, T)
b. Either I will take a trip to Europe this summer or I will save my money and get married in
September. If I do the latter, I will move to Denver. So if I don’t go to Europe this
summer I will move to Denver. (E, S, M, D)
c. If Russia intervenes in Iran, then if the United States acts to protect its interests in the
Middle East, either there will be a confrontation between Russia and the United States
or Israel will act as a surrogate for the United States. Israel will act as a surrogate if and
only if it is absolutely assured of unlimited supplies of American weapons. If the United
States meets this condition, however, the friendly Arab states will turn against the
United States; the United States cannot allow that to happen. Therefore, if Russia
intervenes in Iran and the United States acts to protect its interests in the Middle East,
there will be a confrontation between the two superpowers. (R, U, C, I, A, F)
10. Provide proof, using the rules of inference (see attached on last page), of the validity of the
following arguments. Use IP or CP if you desire. (5 marks each. 20 marks total)
a. 1. D C
2. ~(C • ~ S) / D S
b. 1. C (D • M)
2. ~ M / ~ C
c. 1. A H
2. (F v W) L / (H F) (A L)
d. 1. (K v L) (M • N)
2. (N v O) (P • ~ K) / ~ K
PART C:
1. Symbolic Translation. Translate the following ordinary language arguments into predicate logic using
the suggested notation. (10 marks each. Total = 20 marks)
a. Architects and dentists are wellpaid professionals No wellpaid architect eats at Burger
King, and no professional shops at Giant Tiger. Therefore, no architect eats at Burger King
or shops at Giant Tiger.
(Ax: x is an architect; Dx: x is a dentist; Wx: x is wellpaid; Px is a professional; Bx: x eats at Burger King;
Sx: x shops at Giant Tiger.)
b. Some teachers are forced to take a second job. No individual who works at two jobs can be
fully alert on the job. A teacher who is not fully alert on the job will annoy students. So,
some teachers will annoy students.
(Tx: x is a teacher; Jx: x takes two jobs; Ax: x is fully alert on the job; Sx: x annoys students)
2. Translate the following valid arguments into predicate logic using the suggested symbolic notation.
Then provide a proof of validity for each argument. (10 marks each. 20 marks total.)
a. Smart people are tall. All tall people wear clothes. Thus, smart people wear clothes.
(Px, Tx, Sx)
b. Socrates is mortal. Therefore, everything is either mortal or not mortal (s: Socrates, Mx: x
is mortal.)
3. Provide proof, using the rules of inference and quantification rules (see attached on last page), of the
validity of the following valid argument. Use IP or CP if you desire. (5 marks)
1. (x) [Wx (Xx Yx)]
2. ( [Xx x) • (Zx • ~ Ax)]
3. (x) [(Wx Yx) (Bx Ax)]
( ( Zx x) • ~Bx)
4. Proving Invalidity. The following arguments are invalid. Show them to be invalid using the finite
universe method. (5 marks each. Total = 10 marks)
a. 1. (x) (Dx ~Ex)
2. (x) (Ex Fx)
(x) (Fx ~Dx)
b. 1. (x) (Hx Mx)
2. ( (Mxx)• Bx)
( (Hx x) • Bx)
Our Service Charter

Excellent Quality / 100% PlagiarismFree
We employ a number of measures to ensure top quality essays. The papers go through a system of quality control prior to delivery. We run plagiarism checks on each paper to ensure that they will be 100% plagiarismfree. So, only clean copies hit customers’ emails. We also never resell the papers completed by our writers. So, once it is checked using a plagiarism checker, the paper will be unique. Speaking of the academic writing standards, we will stick to the assignment brief given by the customer and assign the perfect writer. By saying “the perfect writer” we mean the one having an academic degree in the customer’s study field and positive feedback from other customers. 
Free Revisions
We keep the quality bar of all papers high. But in case you need some extra brilliance to the paper, here’s what to do. First of all, you can choose a top writer. It means that we will assign an expert with a degree in your subject. And secondly, you can rely on our editing services. Our editors will revise your papers, checking whether or not they comply with high standards of academic writing. In addition, editing entails adjusting content if it’s off the topic, adding more sources, refining the language style, and making sure the referencing style is followed. 
Confidentiality / 100% No Disclosure
We make sure that clients’ personal data remains confidential and is not exploited for any purposes beyond those related to our services. We only ask you to provide us with the information that is required to produce the paper according to your writing needs. Please note that the payment info is protected as well. Feel free to refer to the support team for more information about our payment methods. The fact that you used our service is kept secret due to the advanced security standards. So, you can be sure that no one will find out that you got a paper from our writing service. 
Money Back Guarantee
If the writer doesn’t address all the questions on your assignment brief or the delivered paper appears to be off the topic, you can ask for a refund. Or, if it is applicable, you can opt in for free revision within 1430 days, depending on your paper’s length. The revision or refund request should be sent within 14 days after delivery. The customer gets 100% moneyback in case they haven't downloaded the paper. All approved refunds will be returned to the customer’s credit card or Bonus Balance in a form of store credit. Take a note that we will send an extra compensation if the customers goes with a store credit. 
24/7 Customer Support
We have a support team working 24/7 ready to give your issue concerning the order their immediate attention. If you have any questions about the ordering process, communication with the writer, payment options, feel free to join live chat. Be sure to get a fast response. They can also give you the exact price quote, taking into account the timing, desired academic level of the paper, and the number of pages.