推理演算训练1.pptVIP

逻辑学 如果我有一千万，我就能买一栋房子。 我有一千万吗？ 没有。 所以我仍然没有房子。　　　 如果我有翅膀，我就能飞。 我有翅膀吗？ 没有。 所以我也没办法飞。　　　 如果把整个太平洋的水倒出， 也浇不熄我对你爱情的火。 整个太平洋的水全部倒得出吗？ 不行。 所以我并不爱你。 * 第2 讲：福尔摩斯的推理演算 日常语言的用法常使论证的形式晦暗不明。为此，逻辑学引入特殊符号，使形式的辨认更加容易，这些符号被称作算子或连接词。简单陈述可以通过算子连接成为复合陈述。论证一旦符号化，视觉观察就能确定论证是否有效。 莱布尼茨被称为符号逻辑之父。他所从事研发的符号语言及其推理演算开启了数理逻辑的大门。 格兰其庄园：福尔摩斯的必然推理 格兰其庄园：福尔摩斯的必然推理 只有破获了格兰其庄园案,才能确定女仆、玛丽夫人、克洛克船长三人都不是罪犯。 如果女仆是罪犯，则女仆说的是假的，女仆说玛丽夫人不是罪犯；只有玛丽夫人不是罪犯，玛丽夫人说的才是假的，玛丽夫人说或者阮达尔父子是罪犯或者自己根本不认识克洛克船长。 可是至今庄园案还没有破获。 第二天，各种证据表明:阮达尔父子不是罪犯，并且玛丽夫人和克洛克船长相当熟悉。 谁是罪犯？ 真值表 用来计算逻辑形式在论证上的真假值， 以检验推理（论证）是否有效。 用真值表制表的推理模式是由(德)弗雷格、（美）查尔斯·皮尔士和（德）恩斯特·施罗德于1880年代所发明的。（英）维特根斯坦的《逻辑哲学论》利用真值表来进行数学函数真假值的计算判定。这部著作的广泛影响导致了真值表的传播。 在此之前，（英）奥古斯塔斯·德摩根首先发现了命题逻辑规律的一对法则，称作德摩根定律。该定律在计算机的逻辑设计中起着重要的作用。真值表亦体现出该定律。 真值表 [1:真 0:假] 1 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 p?q p←q p→q p?q p∨q p∧q ﹁q ﹁p q p 运用真值表进行真值演算 p,q→ p∧q p∧q → p,q [(p∨q) ∧ ﹁q] → p [(p∨q) ∧﹁ p] →q [(p?q) ∧ q] → ﹁ p [(p?q) ∧p] → ﹁ q [(p?q) ∧ ﹁ q] → p [(p?q) ∧﹁ p] → q [(p → q) ∧p] → q [(p → q) ∧ ﹁ q] → ﹁ p [(p ← q) ∧ q] → p [(p ← q) ∧ ﹁ p] → ﹁ q [(p ? q) ∧p] → q [(p ? q) ∧ q] → p [(p ? q) ∧﹁ p] → ﹁ q [(p ? q) ∧ ﹁ q] → ﹁ p 请运用真值表判断：痞子蔡《第一次的亲密接触》中的论述有效吗？ 福尔摩斯的思索：推理演算过程 设： 破获格兰其庄园案： S 女仆是罪犯： N 玛丽夫人是罪犯： M 克洛克船长是罪犯： K 阮达尔父子是罪犯： R 玛丽夫人不认识克洛克船长： T 庄园案还没有破获： ﹁ S 阮达尔父子不是罪犯： ﹁ R 玛丽夫人和克洛克船长相当熟悉：﹁T 则： ①S ← （﹁N ∧﹁M ∧﹁K) ②N → ﹁（﹁ M） ③﹁ M ← ﹁ （R ∨ T） ④﹁ S ⑤﹁ R ∧ ﹁T 插曲：鹿死谁手 有一个皇帝，有一天命令姓赵、钱、孙、李、周、吴、郑、王的八位将军陪同他外出打猎。经过一番追逐，有一位将军的一支箭射中了一只鹿。但是，是哪一位将军射中的，开始谁也不清楚。这时候，皇帝叫大家先不要去看箭上刻写的姓氏，而要大家先猜一猜究竟是谁射中的。于是，八位将军众说纷纭。 赵： 或者是王将军射中的，或者是吴将军射中的。 钱： 如果这支箭正好射中鹿的头上, 那么肯定是我射中的。 孙： 我可以断定是郑将军射中的。 李： 即使这支箭正好射中鹿的头上，也不可能是钱将军射中的。 周： 赵将军猜错了。