Exam 6: Propositional Logic

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

Alaskan is sweet only if neither Heineken is balanced nor Pabst is clean tasting.

(?H ? B) • (L ? ?T) $\frac { \mathrm { TV } \sim \mathrm { B } } { \mathrm { H } \mathrm { V } \sim \mathrm { L } }$

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

?H ? ?B $\frac { \mathrm { K } \supset \sim \mathrm { H } } { \mathrm { K } \supset \sim \mathrm { B } }$

Either Breitling has a diamond model and Rado advertises a calendar watch or Tissot has luminous hands.

Given the argument: R ⊃ (G • D) / N ⊃ (A • L) / R ∨ N / L ⊃ K // D • K This argument is:

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

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

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

Given the statements: S ⊃ (Q ∨ L) / (Q ∨ G) ⊃ (S ⊃ N) / L ⊃ (N ∨ ∼ S) / S • ∼ N These statements are:

Williams offers new scholarships if and only if either Amherst reduces class size or Smith does not hire new faculty.

According to De Morgan's rule, ∼(P • Q) is logically equivalent to:

Coors is smooth or both Beck's is subtle and Guinness is heavy.

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

Given the argument: K ∨ E / E ⊃ ∼ K // K ≡ ∼ E This argument is:

Given the pair of statements: ∼ (R ≡ M) and M • ∼ R These statements are:

Statement 1A Given the following statement: (N ⊃ K) ≡ (K ⊃ N) -Statement 1A is:

Given the argument: A ⊃ (B • ∼ C) / B ⊃ (C ∨ A) / C ⊃ ∼ A // C ⊃ ∼ B. This argument is:

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