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

【参考答案】

(1)符号化：设个体域为全总个体域。
M(x)：x是中华牙防组委员会成员；
H(x)：x是教授；......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)