The biggest dog in the show is Rover.
A) Dr • Sr • (x)[(Dx • Sx • Brx) ⊃ x ≠ r]
B) Dr • Sr • (x)[(Dx • Sx) ⊃ Brx]
C) (x)[(Dx • Sx • x ≠ r) ⊃ Brx]
D) Dr • Sr • (x)[(Dx • Sx • x ≠ r) ⊃ Brx]
E) (x)[(Dx • Sx) ⊃ Brx]

Question

Quizplus · Accepted Answer

Option D correctly expresses that Rover is both the biggest dog (Dx • Sx) and is brown (Brx), while also accounting for the fact that there may be other dogs (x) in the show that are also big and brown (Dx •Sx), but are not the biggest dog (x ≠ r).

The Biggest Dog in the Show Is Rover