《说话也是可以运算的，这是真的吗？》之2：把说的话符号化

Posted 2021-02-01 jiangbingxia

上篇我们知道了我们说的哪些话是可以用来计算的，今天聊聊怎么把说的话符号化。

我们要对话进行逻辑运算，可以尝试把说的话转变为符号，然后进行运算，这会是一个很好的选择。大家试想，未来我们要对一段话进行运算和推理，不符号化的话，运算起来将会变得非常麻烦。所以，为了将来运算的简便，我们从最简单的句子开始，逐句进行符号化。

举几个最简单句子符号化的例子：

姜饼侠是中国人民大学的在读在职研究生。

姜饼人今年刚毕业。

姜新海是大学教授。

姜佳程学习很勤奋。

姜禹廷得到奖学金。

进行符号化：

p：姜饼侠是中国人民大学的在读在职研究生。

q：姜饼人今年刚毕业。

r：姜新海是大学教授。

s：姜佳程学习很勤奋。

t：姜禹廷得到奖学金。

简单句符号化就这么简单，后续会讲讲符号化后的话怎么进行进一步的运算。