個體詞

在數理邏輯中，稱句子中的主詞為個體詞。個體詞可以是具體的事物，也可以是抽象的概念。

在數理邏輯中，稱句子中的主詞為個體詞。它是一個命題里表示思維對象的詞。比如：蘋果是紅的。這個句子中“蘋果”就是個體詞。
個體詞可以是具體的事物，也可以是抽象的概念。例如，桂林、思想、3等都可以作為個體詞。一個具體的個體詞稱為個體常項，用a、b、c……表示。常用x、y、z……表示任意的個體詞，稱x、y、z……為個體變項。