Select the best English interpretation of the given proposition, using the following translation key:

Ax: x is an apartment

Hx: x is a house

Lx: x is large

Bxy: x is bigger than y

(∃x)[Hx • (∀y)(Ay ⊃ Bxy)]

(∀x)[Ax ⊃ (∃y)(Hy • Bxy)]

(∃x)[(Ax • Lx) • (∃y)(Hy • Bxy)]

(∀x){Ax ⊃ (∀y)[(Hy • Ly) ⊃ ∼Bxy]}

(∀x){(Lx • Ax) ⊃ (∃y)[(Hy • ~Ly) • Bxy]}

Printed from , all rights reserved. © Oxford University Press, 2023