Exam 6: Propositional Logic

?A $\frac { \sim \mathrm { A } \vee \mathrm { J } } { \mathrm { J } }$

Given the pair of statements: P • ∼ Z and Z ≡ P These statements are:

Given the pair of statements: (H • J) ∨ (N • J) and (N ∨ H) ⊃ ∼ J These statements are:

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

Thrifty's laying off workers is a sufficient condition for National's improving efficiency, if Enterprise reorganizes.

P ? G $\frac { ( \mathrm { H } \supset \sim \mathrm { P } ) \cdot ( \mathrm { C } \supset \sim \mathrm { G } ) } { \sim \mathrm { H } \vee \sim \mathrm { C } }$

United's lowering fares is a sufficient and necessary condition for American's hiring pilots, given that Frontier does not improve service.

Given the statements: G • W / G ⊃ (∼ R ⊃ Q) / W ⊃ (R ⊃ ∼ Q) / G ⊃ Q These statements are:

Either Azmara or Seabourn do not open new boutiques provided that Princess improves its cuisine.

Either we recycle our trash or we will be inundated in garbage. Therefore, we will not be inundated in garbage, since we recycle our trash.

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

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

Princess drops its dress codes or Oceania enlarges its fleet, and Seabourn reduces its fares.

Given the statement: (K ≡ ∼ S) • ∼ (S ⊃ ∼ K) This statement is:

M $\frac { \sim \mathrm { M } \supset \mathrm { G } } { \sim \mathrm { G } }$

Given the argument: R ⊃ D / D ⊃ (N ∨ S) / S ⊃ (P ∨ N) / N ⊃ R // R ≡ N This argument is:

Frontier's improving service is a necessary condition for either JetBlue's buying planes or United's lowering fares.

Regent's enlarging its casinos is a necessary condition for Disney's offering games if and only if Windstar's diversifying its activities is a sufficient condition for Costa's enlarging its nightspots.

Given the pair of statements: ∼ (K ⊃ G) and G ∨ ∼ K These statements are:

Glamour's hiring models is a sufficient condition for Cosmo's adding new features unless Playboy's deleting its centerfold is a necessary condition for Maxim's changing its image.