Class Notes (811,039)
United States (314,462)
Philosophy (46)
1002 (23)

philosophy note

1 Page
Unlock Document

Buffalo State College
James Hildebrand

The University of Western Ontario London Canada Department of Philosophy Philosophy 212 (001) UW – Introduction to Logic L. Falkenstein Mid-Year Test Wednesday, December 14, 2011 3 hours 7:00pm, EC 2155 Closed Book Page one of one page Answer All Questions 1. Define 5% a. Completeness of the tree method b. Decidability of the tree method c. Compactness of sets of sentences of SL d. Soundness of SD e. Consistency of SD 2. The basic strategy for proving the soundness of the tree method is proving that if there is a truth value assignment on which all the sentences in a set are true, all the sentences along at least one branch of the tree for that set of sentences must be true. By way of contrast, what is the basic strategy for proving the soundness of SD? (confine yourself to stating it in a sentence.) 5% 3. Consider the following argument by mathematical induction: 5% 1. All the sentences containing 0 occurrences of connectives are true on a truth value assignment, α*, if and only if they are ∈ Γ*. 2. If each of
More Less

Related notes for 1002

Log In


Don't have an account?

Join OneClass

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

Sign up

Join to view


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.