Exam 6: Propositional Logic

Given the pair of statements: K ⊃ ∼ (E • R) and (E • K) ⊃ ∼ R These statements are:

Cartier's offering a stop watch implies that Seiko has leather bands, provided that both Rado advertises a calendar model and Tissot has luminous hands.

Williams hires new faculty if either Smith increases enrollment or Amherst does not raise tuition, but Tulane reduces class size only if neither Rice expands course offerings nor Baylor offers new scholarships.

Proposition 2G Given the following proposition: ∼[(A ⊃ Y) ∨ ∼(X ⊃ B)] • [∼(A ≡ ∼X) ∨ (B ⊃ X)] -In Proposition 2G, the main operator is a:

Proposition 1I Given the following proposition: [(B ≡ ∼ Y) • ∼(∼ X ⊃ A)] ∨ [∼(X ≡ A) ⊃ (Y • ∼ A)] -In Proposition 1I, the main operator is a:

Seiko has a quartz watch if and only if either Movado does not offer a silver dial or Rado does not have a calendar watch; however, Tissot has luminous hands only if both Fossil is water resistant and Rado has a calendar model.

Given the statements: C ⊃ L / K ⊃ ∼H / L ⊃ (N ⊃ K) / C ⊃ (H ⊃ N) / C • H These statements are:

Not either Regent enlarges its casinos or Celebrity revises its itineraries if Holland remodels its staterooms.

Not both Travelers and Conseco run an ad if Liberty opens new offices.

Statement 1G Given the following statement: (A • B) ≡ (∼A • ∼B) -The truth table for Statement 1G has how many lines?

If either Farmers runs an ad or Nationwide cuts costs, then if Safeco expands coverage then Geico pays a dividend.

Proposition 2H Given the following proposition: ∼[(B • ∼X) ⊃ ∼(Y ≡ ∼B)] ⊃ [∼(X ⊃ A) ∨ (B ⊃ ∼Y)] -In Proposition 2H, the main operator is a:

?T ? ?W $\frac { \sim \mathrm { T } } { \sim \mathrm { W } }$

Piaget and Nautica do not have a sapphire watch unless Breitling's having a diamond watch is a sufficient and necessary condition for either Cartier's offering multiple dials or Gucci's selling a self-winder.

Southwest expands routes if either American does not hire pilots or United does not lower fares.

Given the statements: R ⊃ (Q ∨ ∼ N) / Q ⊃ (U ⊃ ∼ B) / B ⊃ (N • U) / R • B These statements are:

If National's improving efficiency implies that Enterprise reorganizes, then Avis buys new cars.

If Fordham expands course offerings, then if Georgetown increases its endowment, then both Duke raises tuition and Tulane reduces class size.

Given the argument: J ⊃ C / R ∨ I / I ⊃ (U • ∼ J) / (R ∨ U) ⊃ (C • J) // C This argument is:

Statement 2B Given the following statement: [N ≡ (S • J)] ⊃ [S ⊃ (N ⊃ J)] -Statement 2B is: