Quiz 6: PHIL 120 99C Introduction to Critical Thinking https://canvas.ubc.ca/courses/2632/quizzes/21976
Quiz 6
Due Mar 5 at 11:59pm Points 25 Questions 5 Time Limit 120 Minutes
Instruc!ons
General Instructions:
Quiz 6 consists of 5 questions. You are given 2 hours (120 minutes) to complete this quiz.
NOTE: To avoid any possible conflict of different formats with the system, it is recommended that
you, in case you're copying and pasting formatted text (word document), paste the answers into a
note pad or text editor first and then copy/paste into Connect.
IMPORTANT: If having difficulty typing the special characters ( , ≡, etc.), you may use the following
(sequences of) characters:
Use "-->" for " "
Use "=" for "≡"
Use "&" for "•"
For example, type "(A --> B) = ~(C & D)" instead of "(A B) ≡ ~(C • D)"
Questions 1-4:
Using transformation rules of system P, prove the given arguments to be valid.
Question 5:
Using transformation rules of system P, prove the given proposition to be a tautology / a contradiction.
IMPORTANT:
Please note that the quiz must be finished and submitted before the corresponding deadline as in the
schedule, not just started - once the deadline is reached, the system will automatically stop the quiz and you
will no longer be allowed to continue with the quiz (so you might lose your points for the quiz). Also, when
you are done, make sure you press the Submit button - unless you do so, the quiz may not automatically be
submitted to the system (and you risk losing all the points for this quiz)!
If, while taking the Quiz, you experience any technical problems which prevent you from completing the
Quiz, you must immediately report your issue to the IT-people responsible for the technical issues
(not the instructor!) by following the "DL Help Desk" link on the main course menu. The Help Desk people
monitor and record the current situation and they will then send their report to me, the instructor, with all the
relevant information. If not reported to the DL Help Desk, I, the instructor, will not be able to verify any issues
with the Quiz, and, as such, will not be able to change your grade or give you any other attempt to finish the
quiz.
1 of 12 3/5/18, 4:17 PM
, Quiz 6: PHIL 120 99C Introduction to Critical Thinking https://canvas.ubc.ca/courses/2632/quizzes/21976
A!empt History
Attempt Time Score
LATEST Attempt 1 74 minutes 0 out of 25 *
* Some questions not yet graded
! Correct answers will be available on Mar 5 at 11:59pm.
Score for this quiz: 0 out of 25 *
Submitted Mar 5 at 4:14pm
This attempt took 74 minutes.
Question 1 Not yet graded / 5 pts
Using the transformation rules of system P, prove the following argument to
be valid:
1. (A B) C Premise
2. (D C) (~E V ~F) Premise
3. ~(~B V ~E) Premise
--------------------------------------------
/ :. ~F
Your Answer:
1. (A B) C Premise
2. (D C) (~E V ~F) Premise
3. ~(~B V ~E) Premise
4. ~(A B) V C Impl 1
5. ~(~A V B ) V C Imp 4
6. (A & ~B) V C DeM 5
7. (A V C) & (~B V C ) Dist 6
8. (A V C) Simp 7
9. (~B V C ) Simp 7
10.B & E DeM 3
11. B Simp 10
12. E Simp 10
13. C DS 9,11
14. ~D V C Add 13
15. D C Impl 14
2 of 12 3/5/18, 4:17 PM
Quiz 6
Due Mar 5 at 11:59pm Points 25 Questions 5 Time Limit 120 Minutes
Instruc!ons
General Instructions:
Quiz 6 consists of 5 questions. You are given 2 hours (120 minutes) to complete this quiz.
NOTE: To avoid any possible conflict of different formats with the system, it is recommended that
you, in case you're copying and pasting formatted text (word document), paste the answers into a
note pad or text editor first and then copy/paste into Connect.
IMPORTANT: If having difficulty typing the special characters ( , ≡, etc.), you may use the following
(sequences of) characters:
Use "-->" for " "
Use "=" for "≡"
Use "&" for "•"
For example, type "(A --> B) = ~(C & D)" instead of "(A B) ≡ ~(C • D)"
Questions 1-4:
Using transformation rules of system P, prove the given arguments to be valid.
Question 5:
Using transformation rules of system P, prove the given proposition to be a tautology / a contradiction.
IMPORTANT:
Please note that the quiz must be finished and submitted before the corresponding deadline as in the
schedule, not just started - once the deadline is reached, the system will automatically stop the quiz and you
will no longer be allowed to continue with the quiz (so you might lose your points for the quiz). Also, when
you are done, make sure you press the Submit button - unless you do so, the quiz may not automatically be
submitted to the system (and you risk losing all the points for this quiz)!
If, while taking the Quiz, you experience any technical problems which prevent you from completing the
Quiz, you must immediately report your issue to the IT-people responsible for the technical issues
(not the instructor!) by following the "DL Help Desk" link on the main course menu. The Help Desk people
monitor and record the current situation and they will then send their report to me, the instructor, with all the
relevant information. If not reported to the DL Help Desk, I, the instructor, will not be able to verify any issues
with the Quiz, and, as such, will not be able to change your grade or give you any other attempt to finish the
quiz.
1 of 12 3/5/18, 4:17 PM
, Quiz 6: PHIL 120 99C Introduction to Critical Thinking https://canvas.ubc.ca/courses/2632/quizzes/21976
A!empt History
Attempt Time Score
LATEST Attempt 1 74 minutes 0 out of 25 *
* Some questions not yet graded
! Correct answers will be available on Mar 5 at 11:59pm.
Score for this quiz: 0 out of 25 *
Submitted Mar 5 at 4:14pm
This attempt took 74 minutes.
Question 1 Not yet graded / 5 pts
Using the transformation rules of system P, prove the following argument to
be valid:
1. (A B) C Premise
2. (D C) (~E V ~F) Premise
3. ~(~B V ~E) Premise
--------------------------------------------
/ :. ~F
Your Answer:
1. (A B) C Premise
2. (D C) (~E V ~F) Premise
3. ~(~B V ~E) Premise
4. ~(A B) V C Impl 1
5. ~(~A V B ) V C Imp 4
6. (A & ~B) V C DeM 5
7. (A V C) & (~B V C ) Dist 6
8. (A V C) Simp 7
9. (~B V C ) Simp 7
10.B & E DeM 3
11. B Simp 10
12. E Simp 10
13. C DS 9,11
14. ~D V C Add 13
15. D C Impl 14
2 of 12 3/5/18, 4:17 PM
