论文部分内容阅读
在现代对当方阵中，逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算，得到的广义量词仍然是原来的现代对当方阵中的广义量词。在〈1，1〉类型的广义量词所对应的现代对当方阵中，不但广义量词与其三个否定量词的单调性之间具有可转换关系；而且它们所对应的广义三段论之间具有可化归关系。由于〈1，1〉类型广义量词在自然语言中普遍存在，所以，此研究对计算机科学中的知识表示和知识推理具有重要的意义。