There Are Exactly Two Cars in the Lot

Multiple Choice

There are exactly two cars in the lot.

A) (∃x) (∃y) {Cx • Lx • Cy • Ly • x ≠ y • (z) [(Cz • Lz) ⊃ (z = x ∨ z = y) }
B) (∃x) (∃y) (Cx • Lx • Cy • Ly • x ≠ y)
C) (x) (∃y) {Cx • Lx • Cy • Ly • x ≠ y • (z) [(Cz • Lz) ⊃ (z = x ∨ z = y) }
D) (∃x) (∃y) (∃z) {Cx • Lx • Cy • Ly • x ≠ y • [(Cz • Lz) ⊃ (z = x ∨ z = y) }
E) (x) (y) {[Cx • Lx • Cy • Ly • x ≠ y] ⊃ (z) [(Cz • Lz) ⊃ (z = x ∨ z = y) }