《推理的迷宫》读书笔记之二

第五章讲的是演绎推理中的连锁推理，以及当命题中包含了很多布尔变量时的排除法。

第六章比较有意思：意外绞刑悖论。国王对囚犯说：你将在下一周内被绞死，但直到刽子手来带你去刑场之前，你不会知道是哪一天。囚犯推理发现，如果自己在周日被处死，那么周六的时候就会知道，所以不可能是周日。以此类推，每一天都被排除了。于是囚犯开心的以为自己不会被绞死。但是这里的谬误在于，排除了所有的不可能性之后，导致了剩余可能性的矛盾。于是囚犯认为自己不会被处死，但还是被处死了，他也确确实实没有预先知道。

第七章讲的是“可能世界”的概念。第八章说的是无限，也就是无穷大无穷小。

第九章讲的是NP完全（“非确定性多项式时间完全” ）。提到了对于逻辑问题通用解法的寻求，包括迷宫的走法等等。