Every accountant will be dismissed if any of the books has been fixed.
A) (x)(Ax ⊃Dx) ⊃ (∃x)(Bx • Fx)
B) (x)[Bx • Fx] ⊃ (Ax ⊃ Dx)]
C) (x)[(Bx • Fx) ⊃ (Ax ⊃ Dx)]
D) (∃x)(Bx • Fx) ⊃ (x)(Ax ⊃ Dx)
E) (∃x)[(Bx • Fx) ⊃ (x)(Ax ⊃ Dx)]

Question

Quizplus · Accepted Answer

The correct logical form is D, which translates to "If there exists a book that has been fixed, then every accountant will be dismissed." This matches the original statement's condition that the dismissal of all accountants is contingent upon any book being fixed.

Every Accountant Will Be Dismissed If Any of the Books