Class Notes (834,153)
United States (323,640)
Philosophy (46)
1002 (23)
Lecture

philosophy note

1 Page
102 Views
Unlock Document

Department
Philosophy
Course
1002
Professor
James Hildebrand
Semester
Spring

Description
Chapter 5 Self Test 1. Define a. Validity in SD b. Inconsistency in SD 2. Construct derivations in SD that establish the following: a. { (A v ∼C) ⊃ ∼B, ~B ≡ (Q & ~Q), ~C v A } is inconsistent in SD. b. ‘[A ⊃ (B ⊃ C)] ⊃ [(A & B) ⊃ C]’ is a theorem in SD. 3. Sherlock Holmes considered the following evidence and then announced correctly who the murderer was. What did Holmes conclude? Justify your answer by symbolizing the following argument in SL (using the suggested sentence letters) and constructing a derivation that shows that the symbolic argument is valid in SD or SD+. The maid did it or the cook did it unless the butler did it or the gardener did it. If the maid did it, then it was done silently; but, if the cook did it, then it was done quickly. However, it
More Less

Related notes for 1002

Log In


OR

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


OR

By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.


Submit