Exam 6: Propositional Logic

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

H ⊃ ∼M

Statement 3A Given the following statement: [∼ H ∨ (E • D)] ≡ [(H • ∼ E) ∨ (H • ∼ D)] -The truth table for Statement 3A has how many lines?

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

E ∨ ∼N

Hertz's running a sale and Budget's lowering rates are a necessary condition for either Avis's buying new cars or Thrifty's laying off workers.

National does not improve efficiency or Enterprise does not reorganize, given that Thrifty lays off workers.

If a group of statements are inconsistent, this means:

Statement 3A Given the following statement: [∼ H ∨ (E • D)] ≡ [(H • ∼ E) ∨ (H • ∼ D)] -Statement 3A is:

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

Given the pair of statements: ∼ (R ≡ M) and M • ∼ 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.

∼F ⊃ L

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

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

G ∨ ∼T

Given the statements: R ⊃ (G ∨ Q) / G ⊃ (H • P) / Q ⊃ H / R ⊃ ∼ H These statements are:

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

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.

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