Klasik mantıkta "Bazı kuşlar uçamaz" önermesi modern mantıkta nasıl sembolize edilir?
A) \( \forall x (Kuş(x) \land Uçamaz(x)) \)
B) \( \exists x (Kuş(x) \land Uçamaz(x)) \)
C) \( \forall x (Kuş(x) \rightarrow Uçamaz(x)) \)
D) \( \exists x (Kuş(x) \rightarrow Uçamaz(x)) \)
