Exam 6: Propositional Logic

?Q ? ?R $\frac{Q}{R}$

Given the argument: W ∨ ∼ S / E ∨ ∼ A / (K ∨ L) ≡ (A • S) // L ⊃ (E • W) This argument is:

E ? ?N $\frac { \sim \mathrm { N } } { \sim \mathrm { E } }$

National's improving efficiency or Enterprise's reorganizing is a sufficient and necessary condition for Thrifty's laying off workers, provided that Avis buys new cars.

(∼M ⊃ E) • (K ⊃ ∼C) K ∨ ∼M E ∨ ∼C

Given the argument: H ⊃ (R • J) / (R ∨ A) ⊃ E / J ⊃ ∼ P / E ⊃ P // ∼ H This argument is:

Statement 2F Given the following statement: (Q ⊃ ∼ C) • (R ⊃ ∼ Q) -Statement 2F is:

Sierra is hearty given that Michelob's being flavorful implies that Guinness is heavy.

Progressive expands coverage if and only if both Liberty and Conseco do not cut costs.

Proposition 1G Given the following proposition: [(A ≡ X) ∨ (Y ⊃ ∼ B)] ⊃ ∼[(X ∨ B) • (A • Y)] -Given that A and B are true and X and Y are false, determine the truth value of Proposition 1G.

Given the pair of statements: M • ∼ D and D • ∼ M These statements are:

Given the argument: Q ⊃ A / ∼ (A • Q) / A ≡ Q This argument is:

Statement 2D Given the following statement: [(N ∨ R) ⊃ ∼ R] ≡ R -Statement 2D is:

Delta advertises a sale and either United lowers fares or American hires pilots.

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

Statement 3G Given the following statement: [A • (B ∨ C)] ∨ [∼ (A • B) ∨ ∼ (A • C)] -The truth table for Statement 3G has how many lines?

Proposition 1B Given the following proposition: ∼[(A ∨ ∼ B) ⊃ X] ⊃ [∼ Y ⊃ (A • X)] -Given that A and B are true and X and Y are false, determine the truth value of Proposition 1B.

Either Safeco reduces premiums and Geico cuts costs or Farmers hires agents.

Statement 2I Given the following statement: (L • ∼ E) ≡ (E • ∼ L) -Statement 2I is:

Allstate's increasing its territory is a sufficient condition for Liberty's restructuring only if Progressive's cutting costs is a necessary condition for Conseco's hiring agents.