{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Test2PracticeAnswers - PHL 245 S L0101(2001 Modern Symbolic...

Info icon This preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
PHL 245 S L0101 (2001): Modern Symbolic Logic – Test 2 (Practice) Answer Key. Last Name: . First Name: . Student Number: . This document is merely intended to be a useful study aid for Test 2. The kinds of questions in this document are not the only kinds of questions that may be asked on the test. Merely answering these questions is no substitute for regular attendance in class and doing the assigned homework. The actual test may not resemble this document in every respect. There are many possible correct answers for the symbolization questions – I have only indicated one same sample answer in each case. Part I: SD+ Derivation Show in SD+ that the following sentences are inconsistent: (B D) & (~B ~A) ~(~O & ~A) & ~(O & A) A (~B (D & O)) Here are two derivations: 1 (B D) & (~B ~A) 2 ~(~O & ~A) & ~(O & A) 3 A (~B (D & O)) 4 ~ [ (~O & ~A) (O & A)] 2, DeM 5 ~ (O A) 4, Equiv 6 A Assumption 7 ~B (D & O) 3, E 8 (~B D) & (~B O) 7, Dist. 9 (B D) & (B O) 8, Impl., 8, Impl. 10 ~B ~A 1, &E 11 A B 10, Trans 12 B O 9, &E 13 B 6,11, E 14 O 12,13, E 15 O Assumption 16 ~B O 15, I 17 B D 1, &E 18 ~ B D 17, Impl. 19 (~B D) & (~B O) 16, 18, &I 20 ~B (D & O) 19, Dist. 21 A 3,20, E 22 O A 6-14, 15-21, I
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
PHL 245 S L0101 (2001): Modern Symbolic Logic – Test 2 (Practice) Answer Key. 1 (B D) & (~B ~A) 2 ~(~O & ~A) & ~(O & A) 3 A (~B (D & O)) 4 ~B ~A 1, &E 5 A B 4, Trans. 6 B D 1, &E 7 A D 5-6, HS 8 A (B (D & O)) 3, Impl. 9 A Assumption 10 B (D & O) 8,9 E 11 B 5,9 E 12 D & O 10,11 E 13 O 12, &E 14 O & A 9,13, &I 15 ~ (O & A) 2, &E 16 ~A 9-15, 17 (A (~B (D & O)) & (~B (D & O) A) 3, Equiv.
Image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern