逻辑谜题中最简单的一种是三段论。在这类谜题中,你要从这些语句中判断出一些真真假。这类谜题通常可以通过应用命题逻辑谓词逻辑的原理来解决。

我有一盘土豆。以下陈述都是正确的:

  • 我的新土豆没有煮过。
  • 这道菜里所有的土豆都适合吃。
  • 没煮过的土豆不适合吃。

盘子里里有新土豆吗?


第一个和第三个陈述可以通过传递论点连接起来。所有的新土豆都是未煮过的,未煮过的土豆不适合吃,所以新土豆不适合吃。

第二种说法可以表示为等价的对立面。盘子里所有的土豆都适合吃;如果有土豆不适合吃,它就不在盘子里。

然后,再一次应用了传递论点。新土豆不适合吃,不能吃的土豆不在盘子里。因此,盘子里没有新土豆。