请指出下列文字的逻辑形式，用公式表示之。鸟都是有脊椎骨的；天鹅是鸟；所以，天鹅是有脊椎骨的。

A. 如果p，那么q。
B. 所有M是P；所有S是M；所以，所有S是P。
C. p并且q，而且r。
D. 只有p，才q。