Exam 6: Propositional Logic

∼P ∨ M

When the disjunctive premise of a dilemma is of the form p ∨ ∼p, then it is impossible to:

Given the argument: H ⊃ G / G ⊃ H / H ∨ G // G • H This argument is:

Statement 1B (R • B) ≡ (B ⊃ ∼ R) -Statement 1B is:

E ⊃ ∼A

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

Given the argument: P ∨ J / ∼(J • ∼ P) // J ≡ ∼ P This argument is:

Both Baylor and Rice do not raise tuition provided that Smith increases enrollment.

If Shape expands coverage, then neither Money hires new writers nor Forbes solicits new advertisers.

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

Michelob's being complex is a necessary condition for Heineken's being balanced unless Alaskan's being sweet is a sufficient condition for Carlsberg's being malty.

If Heineken's being balanced implies that either Sierra is hearty or Alaskan is not sweet, then Miller's being zesty is a sufficient and necessary condition for Coors's being smooth.

If an ordinary truth table is constructed for a valid argument, then:

It is not the case that either Honda reduces inventory and Mercedes introduces a new model or Toyota closes a factory and Fiat improves mileage.

G ⊃ ∼R

Given the pair of statements: G ⊃ (W • ∼ Q) and (W ∨ ∼ G) • ∼(Q • G) These statements are:

Given the pair of statements: G ∨ ∼ H and H ∨ ∼ G These statements are:

Azmara's opening new boutiques is a sufficient and necessary condition for both Norwegian's improving entertainment and Holland's remodeling its staterooms if Princess's dropping its dress codes implies that Celebrity revises its itineraries.

Sierra is hearty only if Budweiser is bland, given that both Heineken is balanced and Michelob is complex.

Given the pair of statements: I ≡ C and C • ∼ I These statements are: