人类下一代语言的可能

摘要： 先回到前面讲过的内容。在“一阶谓词逻辑”一节，命题的联接计算基于真值表，真值表应用了“=”符号，如1∨0=1。命题的推理与证明演算应用的是重言式，重言式是以蕴涵符号“⇒”或等价符号“⇔”来连接的表达式。在“算术”一节，我们讲到算术的加法计算基于特定进制下的加法表、进位规则以及一般的运算律，其中加法表 阅读全文