【doc】DXF文件格式及其外部接口的研究

第一格：M——P  第二格：P——M S——M        S——M S——P          S——P 第三格：M——P 第四格：P——M M——S         M——S S——P          S——P 三段论规则： 第一，一个正确三段论，有且只有三个不同的项。 第二，中项至少周延一次。 第三，在前提中不周延的项，到结论中不得周延。 第四，两个否定前提推不出结论。 第五，如果前提有一否定，则结论否定；如果结论否定，则前提有一否定。 第六，两个特称前提不能推出结论。 第七，如果两个前提中有一个是特称的，那么结论也是特称的。 三段论第一格规则：1、小前提须是肯定的。2、大前提须是全称的。 三段论第二格规则：1、前提中有一个是否定的。2、大前提须是全称的。 三段论第三格规则：1、小前提须是肯定的。2、结论须是特称的。 三段论第四格规则：1、两个前提有一否定，则大前提全称。2、如大前提肯定，则小前提个特称。3、如小前提肯定，则结论特称。4、任何一个前提都不甬特称否定判断。5、结论不能是全称肯定判断。 第一格 第二格 第三格 第四格 AAA AEE AAI AAI EAE EAE EAO EAO AII AOO AII AEE EIO EIO EIO EIO (AAI) (AEO) IAI IAI (EAO) (EAO) OAO (AEO) 判断类型 主项 谓项   A 周延 不周延   E 周延 周延   I 不周延 不周延   O 不周延 周延           矛盾关系：存在于A和O、E和I之间，具有矛盾关系的两判断不能同真，也不能同假。 反对关系：A和E之间，不能同真，可以同假。 下反对关系：I和O之间，不同假，可同真。 差等关系：A和I  E和O之间，全称判断真则特称真、全称假特称真假不定；特称真则全称真假不定、特称假则全称假。 1、两个概念之间的矛盾关系、交叉关系是对称且非传递的。 2、非对称且传递的关系：SAP中S和P之间的关系、判断间的差等关系。 3、既禁对称又传递的关系：概念间的真包含关系、真包含于关系。