揭示概念外延的逻辑方法，即将一个属概念分为若干个种概念。根据不同的标准可以作不同的划分。如将“词典”划分为语文词典、专科词典和综合性词典是对“词典”的一种划分；划分为单语词典、双语词典、多语词典是另一种划分。划分不同于分解。划分的对象是概念，分解的对象则是事物；划分的结果是若干种概念，分解的结果是若干组成部分。划分的主要规则是：划分出来的概念的外延之和必须等于被划分的概念的外延。

一种面向机器的低级程序设计语言。是一种符号语言。由基本字符集、语句、标号及一组规则所组成。基本字符集通常包括二十六个英文字母、0～9十个数字、算术运算符、关系运算符、逻辑运算符等。不同计算机有不同的汇编语言。

1.逻辑学的旧称。

战国时讨论“名”(概念)和“实”(事实)的关系问题的学派。主要代表为惠施和公孙龙，惠施强调事物的相同性，公孙龙强调事物的差别性。他们的讨论对古代逻辑发展有一定贡献。

1.逻辑名词。也叫三段论﹑三段论法。形式逻辑间接推理的基本形式，由大前提﹑小前提﹑结论三部分组成，故称。

自觉的系统的定型的社会意识。分为意识形态和非意识形态两大部分。非意识形态间接反映社会经济形态和政治制度，包括自然科学、语言学和形式逻辑等。

把不同的概念当作同一个概念来使用。是一种违反同一律的逻辑错误。偷换概念就有可能偷换思维对象，造成文不对题，还有可能产生错误的推理。

1.指印度古因明学(即逻辑学)的五段推理法，后为新学三段推理法所代替。

在证明或反驳中把虚假的判断当作论据的逻辑错误。论据虚假，就不能达到证明或反驳的目的。

1.包含。 2.逻辑名词。判断中前后两个命题互为条件的关系叫"蕴涵"。表现形式是"如果……则……"。