Klasik mantıkta "Bütün insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates ölümlüdür." şeklinde ifade edilen kıyas, modern mantıkta nasıl sembolize edilebilir?
A) \( p \land q \rightarrow r \)
B) \( \forall x (H(x) \rightarrow M(x)) \land H(s) \rightarrow M(s) \)
C) \( P \Rightarrow Q \)
D) \( A \subseteq B \land x \in A \rightarrow x \in B \)
