“这是在将这个逻辑问题数学化吗？”叶秋有点不懂江印的思路了，又仔细看了一遍之后，也大致了解这些符号的意思。

根据江印最上面的那个设，，，所表达的意思，为在城提出的问题，，表示城和城中的、城居民，等于，这个，则是这个问题，在城中问居民所得到的答案。

同理，b，，也是这个意思，只是b表示这个问题在城中提问，最后得到这个答案。

这个两个等式放在一起，江印的意思就是，这个问题，在城提出，和在城提出，应该要得到和这两个不同的答案，通过答案，来反推自己是在城还是城。

叶秋有些惊讶，他不知道江印为什么会这样把实际问题数学化，但这个解题思路是没有问题的，和自己的那个正确答案是一个意思。

随后叶秋又看到，江印将两个等式进行了抵消，去掉了相同的部分，就得到了。

和b，同时去掉了，。

这一步，叶秋解读到的意思是，将询问对象，也就是城居民和城居民的干扰去掉，因为江印的假设中，和是代表两城的居民。

因为只能问一个问题，还只问一次，那就有4中可能，你问到的人，可能是城中的城居民，也可能是城中的城居民，当然，也可能是城中的城居民，以及城中的城居民。

也就是说，你的这个问题，不管是问到这4种情况的中任意一种，都应该能得到正确答案，所以，其实这4种居民身份，对这个问题是什么，取不到决定作用，是干扰项，所以这里便去掉了，得到更加简化的算式。

再然后，江印继续将这两个算式简化，再次去掉了和b。

为在城提出的问题，b表示在城中提问，但其实这是同一个问题，因为只能问一次，所以不管是在城中问，还是在城中问，问题是相同的，所以b，再次删除。

最后得到：，

其中代表城，代表城。

这里就可以解读为：影响答案变成的因素是城，影响答案变成的因素是城。

也就是说，提问的这句话，想要在两个城市得到不同的答案，和，，也就是城中的居民没有关系，只是和这两座城市有关。

换句话说，这个问句当中，也就是假设中的，要包涵城市，且因为b，所以，这个问题，必须同时包涵和b，也就是城和城。

问题解到这里，就拿刚才潘飞的答案来说，“你是城的人吗？这里是城吗？”

显然这两个答案都是不对的，虽然这两个答案都包涵了城市，但只体现了城，没有体现城，和江印现在得到的推论不一致。

同时包涵城和城的问题，显然不可能问，你是城的人吗？因为这里的居民，只有城和城之分，没有同时是城居民，也是城居民的人。

那么，提问当中要同时包括、城，只有一个办法，那就是说使用代词。