Not both Travelers and Conseco run an ad if Liberty opens new offices.
A) L ⊃ ∼(T • C)
B) ∼[C • (L ⊃ C)]
C) L ⊃ (∼T • ∼C)
D) ∼(T • C) ⊃ L
E) (∼T • ∼C) ⊃ L

Question

Quizplus · Accepted Answer

Option A correctly translates the statement into logical notation. "L ⊃ ∼(T • C)" means "If Liberty opens new offices, then it is not the case that both Travelers and Conseco run an ad." This matches the given statement's structure.

Not Both Travelers and Conseco Run an Ad If Liberty