2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 1/5
Test 2
Due Feb 11 at 11am Points 39 Questions 8
Available Feb 11 at 9am - Feb 11 at 11am about 2 hours Time Limit 75 Minutes
Instructions
This quiz was locked Feb 11 at 11am.
Attempt History
Attempt Time Score
LATEST Attempt 1 75 minutes 28.5 out of 39
 Correct answers are hidden.
Score for this quiz: 28.5 out of 39
Submitted Feb 11 at 10:18am
This attempt took 75 minutes.
and you are only allowed to use it during your 75-minute testing window. This is not for uploading
images after your test is over.
If you have technical issues causing you to not be able to complete the test, please follow the
instructions on the syllabus under MISSED TESTS.
This is considered an open book test. You are allowed to consult any notes that you have and
you may also use Logic 2010. Other than those two things you are not allowed to consult any
other resources. You are not allowed to work with any other person, nor are you allowed to share
your work with anyone or post it online.
4.5 / 5 ptsQuestion 1
Show the following argument is valid using a derivation. Use only the
BASIC RULES: MP, MT, ADD, MTP, ADJ, S, R, DN, CB, and BC.
Upload a single file. If you upload a Logic2010 screenshot be sure to
have your USER INFORMATION visible in the screenshot. If you have
multiple screenshots for your solution, paste them all into a single
WORD file and upload that.
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 2/5
Y∧(Z→X). ~Z→~(Y∧W). W∨~Y. ∴ X
 Q1.jpg (https://q.utoronto.ca/files/19212885/download)
5.5 / 6 ptsQuestion 2
Show the following statement is a theorem of logic using a derivation.
Use only the BASIC RULES: MP, MT, ADD, MTP, ADJ, S, R, DN, CB,
and BC.
Upload a single file. If you upload a Logic2010 screenshot be sure to
have your USER INFORMATION visible in the screenshot. If you have
multiple screenshots for your solution, paste them all into a single
WORD file and upload that.
∴ P∧(~P∨Q)→((Q→R)↔R)
 Q2.jpg (https://q.utoronto.ca/files/19214692/download)
0 / 6 ptsQuestion 3Unanswered
Show the following argument is valid using a derivation. Use only the
BASIC RULES: MP, MT, ADD, MTP, ADJ, S, R, DN, CB, and BC.
Upload a single file. If you upload a Logic2010 screenshot be sure to
have your USER INFORMATION visible in the screenshot. If you have
multiple screenshots for your solution, paste them all into a single
WORD file and upload that.
(P→R)∧(~Q→~R). X∨~(P→Q). (P→R)∧X→Z. ∴ Z
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 3/5
4.5 / 6 ptsQuestion 4
Show the following argument is valid using a derivation. You may use
basic rules as well as the DERIVED RULES: DM, NB, NC, CDJ, and
SC.
Upload a single file. If you upload a Logic2010 screenshot be sure to
have your USER INFORMATION visible in the screenshot. If you have
multiple screenshots for your solution, paste them all into a single
WORD file and upload that.
~(Y→(Z→W)). ~(X↔(W∨~Y)). ∴ Z∧X
 Q4.jpg (https://q.utoronto.ca/files/19215656/download)
2.5 / 4 ptsQuestion 5
Your Answer:
Symbolize the following AMBIGUOUS sentence in two logically distinct
ways.
On the assumption that Omar mows the lawn, if Jacky rakes the leaves
then Anne does not make lemonade and weed the flower beds and it’s
hot outside.
T: Anne makes lemonade. W: Anne weeds the flower beds. X: Jacky
rakes the leaves. Y: Omar mows the lawn. Z: It’s hot outside.
1.Y → ((X → ~T) ∧ W ∧ Z)
2.Y → ((X → ~T ∧ W) ∧ Z)
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 4/5
4 / 4 ptsQuestion 6
Your Answer:
Symbolize the following sentence using the abbreviation scheme
provided.
Although class will be cancelled if and only if it’s snowing, exactly two of
Heidi, Rose, and Brent will take the bus to campus.
P: It is snowing. Q: Class will be cancelled. X: Heidi will take the bus to
campus. Y: Rose will take the bus to campus. Z: Brent will take the
bus to campus.
(Q ↔ P) ∧ ((X∧Y∧~Z) ∨ (X∧~Y∧Z) ∨ (~X ∧ Y ∧ Z))
4 / 4 ptsQuestion 7
Your Answer:
Symbolize the following sentence using the abbreviation scheme
provided.
If Rory goes to the skatepark then Mike does, and if the latter happens
they do kickflips.
R: Rory goes to the skatepark. S: Mike goes to the skatepark. T: Rory
does kickflips. W: Mike does kickflips.
(R → S) ∧ (S → (T∧W))
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 5/5
3.5 / 4 ptsQuestion 8
Your Answer:
Symbolize the following sentence using the abbreviation scheme
provided.
Xemes eating pears is necessary for them to be at the zoo, but neither
yaks, who don’t eat quince, nor zebras, who eat raspberries, are at the
zoo.
P: Xemes eat pears. Q: Yaks eat quince. R: Zebras eat raspberries.
X: Xemes are at the zoo. Y: Yaks are at the zoo. Z: Zebras are at the
zoo.
(x → P) ∧ ~Y ∧ ~Z ∧ ~Q ∧ R
Quiz Score: 28.5 out of 39