2301_76303528的博客

离散数学中的定义有些过于数学化，对于并非数学系的学生而言学习非常痛苦，为此，笔者在此将对书中所出现的定义用通俗易懂的话（希望是这样）解释出来，若有错误，望指出！：n元谓词不是命题（但零元谓词是命题，因为没有变元，真值能确定）只有当个体变元用特定个体（个体常元）替代时（就相当于赋值），才能成为一个命题。如：f(x)=x+1，g(x,y)=x+y，F(3,z)=3*z，M(F,u)=F/u=3*z/u。,tn是项，则f(t1,t2,…，其中N(x)表示N是自然数，I(x)表示x是整数，N(x)就成为特性谓词）