Symbolize the following statement. No buildings in Iceland are air-conditioned.

A) (x) [(Bx • Lxi)  Ax]
B) (x) [(Bx • Lxi)  ~Ax]
C) (x) [(Bx • Lxi) • Ax]
D) (x) [(Bx • Lxi) • ~Ax]
E) None of these answers are correct.

Bx represents "x is a building in Iceland". Lxi represents "x is air-conditioned". The statement "No buildings in Iceland are air-conditioned" can be translated as "(x)[(Bx & Lxi) → ~Ax]", which is logically equivalent to "(x)[(Bx & Lxi) → ~Ax]".
Therefore, the symbolization "[Bx • Lxi) → ~Ax]" is equivalent to the given statement. Choice B represents this symbolization, while the other choices either have incorrect connectives or quantifiers.