蕴含等值式怎么理解_无聊的逻辑学：否定式与等值式

今天继续来学翻译。上次学了析取式与合取式，今天来学否定式和等值式。不过，今天学的否定式和等值式，两者之间没什么特殊的联系。只是因为下次要学蕴涵式很复杂，所以要单独重点来学习。为了使得每天需要消化吸收的新知识，差不多都是等量的。那今天就来学习否定式和等值式。

进入正题。先来看否定式和等值式的真值表。这个真值表体现了它俩具体是怎么对真值进行函数操作的。

从真值表中可以看出，否定式很简单，p是真的，那么¬p就是假的。p是假的，那么¬p就是真的。要注意，否定和其他4个逻辑运算符不同，否定符只接1个命题，而其他4个都是接2个命题，左右各一个。等值式则是在p和q的真值一样时，p↔q就为真，在一真一假的情况下，p↔q则为假。

日常生活中的否定式很多，大多带有“并非”、“不”、“不是”、“不对”、“错”、“假”等词。下面都是否定式：

1.并非所有人都爱钱。

2.小明不是贪财之人。

3.说“小明是贪财之人”是不对的。

4.“小明贪财”这种说法是错的。

5.“小明贪财”这一判断是假的。

否定式需要讲究的细节并不多，只要注意否定词放在什么位置即可。我建议，想要否定某个命题，那就在这个命题的最前面加上并非，而不是在句子中间加否定词。

“有人喜欢魔法少女”这话的否定不是“有人不喜欢魔法少女”，而是“并非有人喜欢魔法少女”，这话的意思差不多是“没有人喜欢魔法少女”。

“张三一定是杀人凶手”这句话，它的否定不是“张三一定不是杀人凶手”，而是“并非张三一定不是杀人凶手”，意思是“张三不一定是杀人凶手”。

同理，“李老师不喜欢不讲逻辑的人”的否定，就是“并非李老师不喜欢不讲逻辑的人”，而不是“李老师喜欢不讲逻辑的人”，更不是“李老师不喜欢讲逻辑的人”。

另外，不要每次一看到双重否定就忍不住想要消去，有些时候不能消去。“不懂礼貌者不许入内”的否定，就是“并非不懂礼貌者不许入内”，这话的意思，差不多就是“不懂礼貌者许入内”，而不是“懂礼貌者不许入内”。

再来看等值式，日常生活中，直接出现“当且仅当”这四个字的等值式不多。下列都是等值式：

1.一个数是偶数，当且仅当这个数能被2整除。

2.一个人是罪犯，当且仅当这个人违背了刑法。

3.张三是李四的妻子，当且仅当李四是张三的丈夫。

4.品德高尚是身为君子的充分且必要条件。

不过，还有一些隐含的等值式没有出现“当且仅当”。比如“除非你给我钱，否则我不会帮你的忙”。字面意义上说的是：1.如果你不给我钱，我就不会帮你的忙。但其实还暗示了这重含义：2.如果你给我钱，我就会帮你的忙。

而根据1和2，我们又不难推出下面这两个命题：3.如果我还没有帮你的忙，那就意味着你还没给我钱。4.如果我帮了你的忙，那就意味着你已经给我钱了。

这4重含义组合在一起，其实就是5.你给我钱当且仅当我帮你忙。

这个5，用逻辑符号来表示，就是等值式。“你给我钱”记为p，“我帮你忙”记为q。那么，“除非你给我钱，否则我不会帮你的忙”可以看作“你给我钱当且仅当我帮你忙”，也就是“p↔q”。

同理，家长有时会对孩子说，“你还没有写完作业，所以不能看电视”，字面上说的是：1.如果你没有写完作业，那么你不能看电视。实际上也暗示了2.如果你写完作业，那就可以看电视。那这实际上就相当于3.你能看电视当且仅当你写完作业。这也是个等值式。

这告诉我们一个深刻的道理。将自然语言翻译成命题逻辑公式时，不能仅仅从字面上来判断某个语句该翻译成什么式子。一般出现了“当且仅当”，那就是等值式。但没有出现“当且仅当”，也可能是等值式。

正如不能从一个人的外表判断一个人的内心。我们也不能一句话的外表判断它究竟表达了什么命题。在将任何语句翻译成符号化的命题时，我们要做的，就是分析说出那句话的人的意图，说话人究竟想要表达什么意思，说话人究竟对什么做出了判断。

说话人可能出现口误，可能词不达意，可能有言外之意，可能在说反话，可能在开玩笑，可能在讽刺，可能在运用修辞展现自己的聪明才智。总之，说话人说出的语句的字面意义，有可能不是说话人想要表达的命题。

最后还是让我们来做几个简单的练习题，请将下列语句翻译成符号化的命题逻辑公式：

1.否定式不是一种很难理解的命题。

2.否定式很难理解当且仅当其他逻辑公式也很难理解。

3.不是所有人都不讲道理。

4.人们在且只在情绪化的时候才不讲道理。

5.聪明人有前途，不聪明的人没有前途。

6.读书并不能改变命运。

7.人不犯我，我不犯人，人若犯我，我必犯人。