当前位置:首页 > 经典书库 > 逻辑百科辞典

词项

又译项。传统逻辑把充当直言命题主谓项的名称叫做词项。从思维方面说,词项一般表达概念,是组成直言命题的成份。离开了直言命题,名称只是表达概念的语词或词组,名称出现在直言命题中时,方成为词项。在现代逻辑中,项是形式语言中的一种表达式,通常被解释为对象,即函数可以作用于其上,或者具有某种属性的,或者可以对其作出断定的某种东西。任一形式语言中的项,可定义为:①个体变项和个体常项是项。②若t,…,t是项,f是n元函数,则f(t,…,t)是项。③此外无其它表达式是项。

上一篇:《材理》 下一篇:部分相信
分享到: