谓词的概念与表示 设:H(X):X是人 D(x):x是要死的。 上述三段论可翻译为: 则有:H(x)→D(x),H(S)→D(S) Guoyongfang.2006@yahoo.com.cnGuoyongfang.2006@yahoo.com.cn 谓词的概念与表示 设： H(X):X是人 D(x)：x是要死的。 上述三段论可翻译为： 则有：H(x)→D(x)，H(S)  D(S)