0元谓词:不含个体变项的谓词 如:a为2,b为3,L(a,b)是0元谓词。 例21.将下列命题用0元谓词符号化 (1)2是素数且是偶数 (2)如果2大于3,则2大于4 (3)如果张明比李民高,李民比赵亮高 则张明比赵亮高0元谓词：不含个体变项的谓词 。 例2.1. 将下列命题用0元谓词符号化 (1) 2是素数且是偶数 ； (2) 如果2大于3，则2大于4 ； (3) 如果张明比李民高，李民比赵亮高， 则张明比赵亮高 ； 如：a为2，b为3，L(a，b)是0元谓词