符号化下列命题，并构造推理证明。
中华牙防组委员会成员都是教授，并且是牙医；有些中华牙防组委员会成员是资深专家。所以，有的中华牙防组委员会成员是牙医，且是资深专家。

【参考答案】

(1)符号化：设个体域为全总个体域。
M(x)：x是中华牙防组委员会成员；
H(x)：x是教授；
G(x)：x是牙医；
R(x)：x是资深专家。
(2)

(3)证明：