New User Special Price Expires in

Let's log you in.

Sign in with Facebook


Don't have a StudySoup account? Create one here!


Create a StudySoup account

Be part of our community, it's free to join!

Sign up with Facebook


Create your account
By creating an account you agree to StudySoup's terms and conditions and privacy policy

Already have a StudySoup account? Login here

Logic I, Week 5, Class 09/15

by: Amanda Notetaker

Logic I, Week 5, Class 09/15 PHL 1100

Marketplace > Appalachian State University > Philosophy > PHL 1100 > Logic I Week 5 Class 09 15
Amanda Notetaker

Preview These Notes for FREE

Get a free preview of these Notes, just enter your email below.

Unlock Preview
Unlock Preview

Preview these materials now for free

Why put in your email? Get access to more of this material and other relevant free materials for your school

View Preview

About this Document

These notes include: Answers to Homework #8 Review of symbolization for the test Layout of the test Homework #9 An introduction to the material we will be learning after the test
Logic I
Dr. Patrick Rardin
Class Notes
logic, Rardin, Amanda, Horsley, Homework, symbolization, review, test, Exam 1, exam, validity, Rules, inference, tautological
25 ?




Popular in Logic I

Popular in Philosophy

This 5 page Class Notes was uploaded by Amanda Notetaker on Sunday September 18, 2016. The Class Notes belongs to PHL 1100 at Appalachian State University taught by Dr. Patrick Rardin in Fall 2016. Since its upload, it has received 5 views. For similar materials see Logic I in Philosophy at Appalachian State University.


Reviews for Logic I, Week 5, Class 09/15


Report this Material


What is Karma?


Karma is the currency of StudySoup.

You can buy or earn more Karma at anytime and redeem it for class notes, study guides, flashcards, and more!

Date Created: 09/18/16
Logic I Week 5 09/15 Homework 8 Answers Pg 322 B 3. P1 P2 ∴ E F E ⊃ F F ⊃ E E ∨ F T T T T T T F F T T F T T F T F F T T F Invalid 4. P1 P2 ∴ G H G ∨ H G ⋅ H (G ∨ H) ⊃ (G ⋅ H) ~(G ⋅ H) ~(G ∨ H) T T T T T F F T F T F F T F F T T F F T F F F F F T T T Valid 7. P2 P1 ∴ M N N ⋅ ~N M ∨ (N ⋅ ~N) ~(N ∨ ~N) T T F T T T F F T T F T F F T F F F F T Valid 8. P1 P2 ∴ O P Q O ∨ P O ⋅ P (O ∨ P) ⊃ Q Q ⊃ (O ⋅ P) (O ∨ P) ⊃ (O ⋅ P) T T T T T T T T T T F F T F T T T F T T F T F F T F F T F F T F F T T T F T F F F T F T F F T F F F T F F T F T F F F F F T T T Valid Logic I Week 5 09/15 Pg 329 B 2. S p q p ⊃ q (p ⊃ q) ⊃ q p ⊃ [(p ⊃ q) ⊃ q] T T T T T T F F T T F T T T T F F T F T Tautology 3. S p q p ⋅ q p ⊃ ~ q (p ⋅ q) ⋅ (p ⊃ ~q) T T T F F T F F T F F T F T F F F F T F Contradiction 4. S p q q ∨ ~q ~p ⊃ (q ∨ ~q) p ⊃ [~p ⊃ (q ∨ ~q)] T T T T T T F T T T F T F F T F F T T T Tautology 6. S p q ~q p ⊃ p q ⋅ ~q (p ⊃ p) ⊃ (q ⋅ ~q) T T F T F F T F T T F F F T F T F F F F T T F F Contradiction Reviewing for Test Symbolizations pg 322 C *1. A ⊃ (B ⋅ C) ~B ∴ ~A Note: “then, if” is the main break. The test will not have any comma-happy problems like this. Logic I Week 5 09/15 2. D ⊃ (E ⊃ F) E ∴ D ⊃ F 9. C ⊃ (I ∨ R) (I ⋅ R) ⊃ B ∴ C ⊃ B Pg 323 5. M ⊃ (N ⊃ O) N ∴ O ⊃ M HOMEWORK # 9 DUE TUESDAY: PG 322 C 3, 4 (SYMBOLIZE BEFORE CREATING A TRUTH TABLE); PG 329 C 2, 3 Test on Thursday, 09/22 will include: 1. Symbolization section 2. Truth tables section a. Testing argument validity b. Practicing partition work i. Tautology ii. Contradiction iii. Contingent 3. MIGHT include a T/F section My study guide will be posted on StudySoup, and we will review some more in class on Tuesday. *Notes below are important, but are NOT on the test on Thursday. These are an introduction to what we will be learning in class AFTER the test. Logic I Week 5 09/15 Notes for after the test Essentially, we will be learning shortcuts to testing validity that bypass truth tables. 1. Rules of Inference (table on pg 343) a. Tautological conditionals (book calls them Elementary Valid Argument Forms) i. Ex. 1. [(p ⊃ q) ⋅ ~q] ⊃ ~p 2. p ⊃ (p ∨ q) b. Tautological biconditionals (book calls them Logically Equivalent Expressions) i. Ex. 1. ~(p ⋅ q) ≡ (~p ∨ ~q) c. Use Rules of Inference to simply look at an argument and analyze its validity. Write the steps used in lines below the original argument, and list to the right of each line which step you adapt and how (which elementary valid argument form or logically equivalent expression used to make the adjustment). i. Ex. 1. 1A ⊃ (B ⋅ C) ~B 2 /∴ ~A 3~B ∨ ~C 2 Add ~(B ⋅ C) DeM 4 3 5 ~A 1, 4T Argument is Valid ii. Examples of identifying the rule of inference from the text 1. *1. Absorption (A ⋅ B substituted for p, and C substituted for q) 2. *5. Constructive Dilemma 2. All premises T, with F conclusion a. In a given argument, to test its validity, we attempt to make all of the premises true, but the conclusion false. If this can be accomplished, the argument must be invalid. i. M ⊃ (N ⊃ O) N ∴ O ⊃ M ii. First we figure out what truth values we must have to make the conclusion false 1. O must be True and M must be False iii. Then, using those truth values throughout the argument, we must figure out what truth value(s) any other statement letters must have to create true premises. 1. N must be True to make P 2rue. M N O F T T Logic I Week 5 09/15 2. If M is False, N is True, and O is True, then P w1uld also be True. iv. Since we can create all true premises and a false conclusion using this argument, the argument must be invalid.


Buy Material

Are you sure you want to buy this material for

25 Karma

Buy Material

BOOM! Enjoy Your Free Notes!

We've added these Notes to your profile, click here to view them now.


You're already Subscribed!

Looks like you've already subscribed to StudySoup, you won't need to purchase another subscription to get this material. To access this material simply click 'View Full Document'

Why people love StudySoup

Jim McGreen Ohio University

"Knowing I can count on the Elite Notetaker in my class allows me to focus on what the professor is saying instead of just scribbling notes the whole time and falling behind."

Anthony Lee UC Santa Barbara

"I bought an awesome study guide, which helped me get an A in my Math 34B class this quarter!"

Steve Martinelli UC Los Angeles

"There's no way I would have passed my Organic Chemistry class this semester without the notes and study guides I got from StudySoup."

Parker Thompson 500 Startups

"It's a great way for students to improve their educational experience and it seemed like a product that everybody wants, so all the people participating are winning."

Become an Elite Notetaker and start selling your notes online!

Refund Policy


All subscriptions to StudySoup are paid in full at the time of subscribing. To change your credit card information or to cancel your subscription, go to "Edit Settings". All credit card information will be available there. If you should decide to cancel your subscription, it will continue to be valid until the next payment period, as all payments for the current period were made in advance. For special circumstances, please email


StudySoup has more than 1 million course-specific study resources to help students study smarter. If you’re having trouble finding what you’re looking for, our customer support team can help you find what you need! Feel free to contact them here:

Recurring Subscriptions: If you have canceled your recurring subscription on the day of renewal and have not downloaded any documents, you may request a refund by submitting an email to

Satisfaction Guarantee: If you’re not satisfied with your subscription, you can contact us for further help. Contact must be made within 3 business days of your subscription purchase and your refund request will be subject for review.

Please Note: Refunds can never be provided more than 30 days after the initial purchase date regardless of your activity on the site.