LESSON２ 交叉结与谓词逻辑（6/8）

这位不知身在何处也不知是何许人物的少女，现在超越了时间与空间来为我们这堂课充当助教。谢谢你，过去的小桶堀。

「如你所见，小樋堀是会给属于自己的东西写上名字的女孩。那么此处，我们有一台写着小樋堀名字的刨冰机。这台刨冰机到底是谁的东西呢？」

「……真是拐弯抹角的说法呢。这不摆明了就是小樋堀的东西吗？」

「正是如此。那么现在我们来将这个事实用命题逻辑的方式表达出来。」

砚小姐在笔记本上用漂亮的小字写着些什么。

如果刨冰机上写着「樋堀」的名字，那么刨冰机是樋堀的东西。

「就像这个样子。那么，假如小樋堀是个一丝不苟的孩子，就会给自己所有的东西上标记名字。无论是教科书、铅笔盒、玩具娃娃还是下午茶的布丁，全都会写上名字。如果将上述内容全部以命题逻辑的形式表达——」

如果教科书上写着「樋堀」的名字，那么教科书是樋堀的东西。

如果铅笔盒上写着「樋堀」的名字，那么铅笔盒是樋堀的东西。

如果玩具娃娃上写着「樋堀」的名字，那么玩具娃娃是樋堀的东西。

如果布丁上写着「樋堀」的名字，那么布丁是樋堀的东西。

「……还要接着写吗？

「别写了，我看『樋堀』两个字都快要……（內容加載失敗！請刷新或更換瀏覽器）