2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
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
Copyright By PowCoder代写 加微信 powcoder
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.
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.
Question 1
4.5 / 5 pts
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.
and you are only allowed to use it during your 75-minute testing window. This is not for uploading
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 1/5
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
Question 2
5.5 / 6 pts
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)
Y (Z→X). ~Z→~(Y W). W ~Y. X
Q1.jpg (https://q.utoronto.ca/files/19212885/download)
Question 3
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
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 2/5
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
Question 4
4.5 / 6 pts
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)
Question 5
2.5 / 4 pts
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.
Your Answer:
1.Y → ((X → ~T) W Z) 2.Y → ((X → ~T W) Z)
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 3/5
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
Question 6
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.
Your Answer:
(Q ↔ P) ((X Y ~Z) (X ~Y Z) (~X Y Z))
Question 7
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.
Your Answer:
(R → S) (S → (T W))
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 4/5
2022/3/10 20:26 Test 2: PHL245H1 S LEC9901 20221:Modern Symbolic Logic
Quiz Score: 28.5 out of 39
Question 8
3.5 / 4 pts
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.
Your Answer:
(x → P) ~Y ~Z ~Q R
https://q.utoronto.ca/courses/252770/quizzes/234912?module_item_id=3301135 5/5
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com