词项、概念和定义

词项是逻辑学中的定义。指最小的能够独立运用的意义单位。也就是说能够独立地充当语法成分的词，绝大多数实词都是词项。如果有心，你会问实词是什么？笑而不答，但我会告诉你虚词包括：1.连词，如：如果...则...2.介词，如：自从...，当...，为了...，在...3.助词，如：的，得，地，着，了，4.冠词，如 a，an，the，5.语气词，如：吧，吗，啊，啦。除虚、实词外，还有单独的三类，叹词：唉，哦，哎哟； 应答词：yes ，no ; 呼语词：sir，hello，hi，喂。除此之外的，都是实词。
个体变项：使用小写字母，x，y，z...等表示某个特定的范围内的某个不确定的对象。相当于语言学中的代词。
个体常项：用小写字母a，b，c...等等，表示某个特定的范围内的某个确定的对象，相当于语言学中的专名。
词项又简称“项”，定义如下：
1）个体变项和个体常项是项；
2）如果t1,t2,t3...tn是项，f是n元函数，则f(t1,t2,t3...,tn)是项；
3）只有按以上方式形成的表达式是项。
这些内容是第三章前7页的内容，纯粹知识与概念性的东西了，再往下看感觉越来越困难。逻辑学的东西，就是树这么多框架（定义），然后在框架内定下规则，再根据这些规则玩一玩推理。深刻觉得，小的时候，多搞一搞这些东西，的确有助于增强某方面的思维能力。现在始看，但愿不晚吧。

概念是思维的基本形式之一。与“判断”，“推理”，“论证”并称。集合与类，你能想到怎样的区别？之前很少拿这两个概念进行比较，仔细想了一下，其还是有相通与相异之处，天天OOP，没少和类打交道。
词项的基本关系有五种：同一，包含，被包含，交叉，全异。其中全异关系又有矛盾关系和反对关系。对于前者，矛盾的双方外延和正好等于它们的属词项的外延，如奇数、偶数相对于整数，男人女人相对于人。反对关系，即反对的双方没有交集，但也未构成属词项，如：大学生与中学生相对于学生，物理与化学相对于自然科学。