"Bazı kuşlar uçamaz" önermesinin niceleyici mantıktaki karşılığı aşağıdakilerden hangisidir?
A) \( \forall x (K(x) \rightarrow U(x)) \)
B) \( \exists x (K(x) \wedge \neg U(x)) \)
C) \( \forall x (K(x) \wedge U(x)) \)
D) \( \exists x (K(x) \rightarrow U(x)) \)
