Segment #3 - Translations and Truths 6.1 & 6.2 Section I PDF

Preview

Summary

A Concise Intro to Logic-Hurely Segment #3 - Translations and Truths...

Description

Homework set #3 Due: Nov. 30 Readings: 6.1-6.5 Questions with a star are answered in the back of the textbook

~

v

&

≡

⊃

Exercise 6.1 section I: #1-20 I. Translate the following statements into symbolic form using capital letters to represent affirmative English statements. ★1. Cartier does not make cheap watches.

~C 2. Arizona has a national park, but Nebraska does not.

A&~N 3. Either Stanford or Tulane has an architecture school.

SvT ★4. Both Harvard and Baylor have medical schools.

H&B 5. If Chanel has a rosewood fragrance, then so does Lanvin.

C⊃L 6. Chanel has a rosewood fragrance if Lanvin does.

L⊃C ★7. Maureen Dowd writes incisive editorials if and only if Paul Krugman does.

M≡P 8. Reese Witherspoon wins best actress only if Martin Scorsese wins best director.

R⊃M 9. Armani will launch a leather collection given that Gucci rejects skinny models.

~G⊃A ★10. The Packers’ winning most of their games implies that Aaron Rodgers is a great quarterback.

P⊃A 11. Bill Gates does not support malaria research unless Warren Buffet does.

~BvW 12. Mercedes will introduce a hybrid model only if Lexus and BMW do.

M ⊃ (L & B) ★13. Mariah Carey sings pop and either Elton John sings rock or Diana Krall sings jazz.

M & (E v D) 14. Either Mariah Carey sings pop and Elton John sings rock or Diana Krall sings jazz.

(M & E) v D 15. Not both Jaguar and Porsche make motorcycles.

~ (J & P) ★16. Both Jaguar and Porsche do not make motorcycles.

~J&~P 17. Either Nokia or Seiko makes cell phones.

NvS 18. Not either Ferrari or Maserati makes economy cars.

~ (F v M) ★19. Neither Ferrari nor Maserati makes economy cars.

~ (F v M) 20. Either Ferrari or Maserati does not make economy cars.

~Fv~M Exercise 6.2 section I: #1-10 I. Identify the main operator in the following propositions. ★1. ∼(A ⋁ M ) & ∼(C ⊃ E ) 2. (G & ∼P ) ⊃ ∼ (H ⋁ ∼W ) 3. ∼[P &(S ≡ K )] ★4. ∼(K & ∼O) ≡ ∼(R ⋁ ∼B) 5. (M & B) ⋁ ∼[E ≡ ∼(C ⋁ I )] 6. ∼[(P & ∼R) ⊃ (∼E ⋁ F )] ★7. ∼[(S ⋁ L) & M] ⊃ (C ⋁ N ) 8. [∼F ⋁ (N & U )] ≡ ∼H 9. E & [(F ⊃ A) ≡ (∼G ⋁ H )] ★10. ∼[(X ⋁ T ) & (N ⋁ F )] ⋁ (K ⊃ L)...