概念计算器数据测试[4.7]
""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E"
写于2010年4月1日
概念计算器版本2009.05
于13:47:29; 09/03/09
概念计算器是逻辑思维自动杌的另一个名称. 因为概念是人类的逻辑思维的最小单元, 概念之间的关系是人类逻辑思维的主要对象. 概念计算器是处理概念之间的关系的一种装置. 对于学过 “” 的读者是不难理解. 概念计算器可以处理各种类型的概念之间的关系, 并且是一种在发展中的装置. 当一个新语句模式输入时, 装置将化费大量时间去计算出合乎逻辑的结果. 当得到新结果时, 装置记忆了这个语句的模式. 这样当以后有相同模式的语句输入时, 装置将即时得到输入语句的合乎逻辑的结果.
在这里我们将各种不同类型的组合语句作为概念计算器的输入数据来测试装置的功能. 在这些语句中用虚拟的概念, 例如 概念A, 概念B……来替代实际概念的名称. 读者可以依照自己的喜好来替换这些虚拟的概念, 得到自己的结果来. 偏如:
概念A是概念B
如果用 “小王” 来替代 “概念A”, 用 “医生” 来替代 “概念B”, 那么这个命题可以写作
小王是医生
这是普通语句处理中的实例. 如果在集合论中, “是” 应解释成 “属于”,. 这样, 如果用 “集合A” 来替代 “概念A”, 用 “集合B” 来替代 “概念B”, 那么这个命题可以写作
集合A属于集合B
在概念计算器的输出结果中, 有 “某类” 词语出现, 这是不存在于输入条件中的新生成的扩展概念. 例如
猴子属于动物
它可以得到一个结论为
“动物包含某类” 能从 “猴子包含某类” 得到
从含义上讲, 这个结果可以读成 “猴子的尾巴属于动物的尾巴”. 这是经典逻辑几百年来所无从解决的逻辑难题之一.
在本文展示的被概念计算器测试的语句模式 (既对概念计算器的输入) 为:
""概念A 等于 概念B" 是 概念C"
"概念D 包含 概念E"
概念计算器输出如下
[1] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念B属于概念C" 能从 "概念B属于概念A" 得到
[2] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念C包含概念B" 能从 "概念A包含概念B" 得到
[3] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念C与非概念A无关" 能从 "概念B属于概念A" 得到
[4] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念C与非概念A无关" 能从 "概念A包含概念B" 得到
[5] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念A属于概念C" 能从 "概念A属于概念B" 得到
[6] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念C包含概念A" 能从 "概念B包含概念A" 得到
[7] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念C与非概念B无关" 能从 "概念A属于概念B" 得到
[8] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念C与非概念B无关" 能从 "概念B包含概念A" 得到
[9] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末非概念A能从 "概念B不属于概念C" 得到
[10] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末概念B能从 "非概念A不独立于非概念C" 得到
[11] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末非概念B能从 "概念C不包含概念A" 得到
[12] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末概念A能从 "非概念C不独立于非概念B" 得到
[13] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念A属于概念C" 能从 "非概念C与非概念B无关" 得到
[14] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念C包含概念A" 能从 "非概念C与非概念B无关" 得到
[15] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念B属于概念C" 能从 "非概念C与非概念A无关" 得到
[16] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念C包含概念B" 能从 "非概念C与非概念A无关" 得到
[17] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念B与非概念C无关" 能从 "非概念A包含非概念C" 得到
[18] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念A与非概念C无关" 能从 "非概念B包含非概念C" 得到
[19] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念B与概念A无关" 能从 "概念A与概念C无关" 得到
[20] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念A与非概念B无关" 能从 "非概念C包含非概念B" 得到
[21] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念C与非概念B无关" 能从 "非概念A包含非概念B" 得到
[22] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "概念A与概念B无关" 能从 "概念B与概念C无关" 得到
[23] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念B与非概念A无关" 能从 "非概念C包含非概念A" 得到
[24] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "非概念C与非概念A无关" 能从 "非概念B包含非概念A" 得到
[25] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末"非概念A包含非概念C"等于"非概念C与非概念B无关"
[26] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末"非概念B包含非概念C"等于"非概念C与非概念A无关"
[27] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "某类的 "概念B属于概念C"" 能从 "这类的 "概念B属于概念A"" 得到
[28] 如果 ""概念A 等于 概念B" 是 概念C", "概念D 包含 概念E", 那末 "某类的 "概念C包含概念B"" 能从 "这类的 "概念A包含概念B"" 得到
<1> “”
Web:
