Exam 6: Propositional Logic

Forbes increases circulation if and only if both Shape and Health do not raise their price.

(M ? ?T) • (?H ? T) $\frac { \mathrm { T } \vee \sim \mathrm { T } } { \sim \mathrm { M } \vee \mathrm { H } }$

In the expression 'P ∨ Q', 'P' is called:

(H ? ?S) • (G ? ?A) $\frac{H V G}{\sim S V \sim A}$

Given the argument: B ∨ M / B ∨ ∼ K // (K ∨ ∼ M) ⊃ B This argument is:

Chrysler increases sales only if Honda reduces inventory, provided that Nissan does not lay off workers.

(Q ? E) • (D ? ?E) $\frac{\mathrm{EV} \sim \mathrm{E}}{\sim \mathrm{Q} \vee \sim \mathrm{D}}$

Budweiser is bland if either Heineken is balanced or Foster's is refreshing.

Statement 1H Given the following statement: (S ⊃ ∼ R) ⊃ (∼ S • R) -Statement 1H is:

Sierra's being hearty is a necessary condition for both Coors's being smooth and Harp's being crisp; moreover, Guinness is dark if and only if Alaskan's being sweet implies that Beck's is subtle.

Either Fiat improves mileage and Toyota closes a factory or Honda reduces inventory.

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

G ? ?T $\frac { ( \mathrm { G } \supset \sim \mathrm { H } ) \cdot ( \sim \mathrm { T } \supset \mathrm { A } ) } { \sim \mathrm { H } \vee \mathrm { A } }$

Statement 1A Given the following statement: (N ⊃ K) ≡ (K ⊃ N) -The truth table for Statement 1A has how many lines?

Given the pair of statements: ∼ (H ≡ R) and ∼ (R ⊃ ∼ H) These statements are:

(S ? Q) • (?W ? ?C) $\frac { \sim \mathrm { W } \vee \mathrm { S } } { \mathrm { Q } \vee \sim \mathrm { C } }$

Given the argument: C ⊃ ∼ M / I ⊃ ∼ H / (N • I) ∨ (G • C) / H ∨ M // G • M This argument is:

Given the argument: K ⊃ Q / Q ⊃ ∼ K // K ≡ Q This argument is:

Given the pair of statements: Q ≡ N and (N • ∼ Q) ∨ (Q • ∼ N) These statements are:

Given the pair of statements: R ∨ S and S ⊃ ∼ R These statements are: