第6章 逻辑游戏 其一（2 / 2）

“嗨嗨嗨，是，我的彼得大人。”

奖杯被自讨没趣的格温放回原处，但显然并不是很稳。

底座在窗台上一直晃，发出波纹般的震荡声。

架子上的艾斯扑哧着翅膀，朝格温飞过来，落到了她的肩上。

“艾斯，想我了吗？”格温看着肩上毛茸茸的家伙。

艾斯眯着眼睛，蹭着格温的头。

“命题，是对事态的判断......”

格温陷入了沉思。

“需要提示一下吗？......下定义，阐因果。”彼得摊在了椅背上。

“那只有一和六是命题，其中‘是’就相当于做了判断，是吗？”

“正确，恭喜了，格温小姐。”

“我就知道！下一个，符号化...唔......说说什么是命题的符号化。”

格温握紧拳头，为自己答案的正确表示了欣喜。

“一般来说，符号化之前要先明白命题的分类，包括合取、析取、条件、否定和等值这些关系命题，喏，下面那个练习就是分析命题的关系。而符号化，就是将一段话利用逻辑符号和字母表示出来，你看看，能不能先把那个复合命题分解成简单命题。”

彼得指了指笔记本的下面部分，打开了包装纸，将泡泡糖扔进了嘴里。

[如果超人或者闪电侠得罪了蝙蝠侠，那么蝙蝠侠不会善罢甘休而神奇女侠会幸灾乐祸。]

“这...说下这道题怎么做。”

“看之前我做的笔记，指示词那段。”

格温往前翻了几页。

[论证的过程包括前提和结论，而区分指示词是重要的一环。

事实上，指示词包括两种，正如论证有演绎论证和归纳论证一样。

结论指示词是连接两个命题的桥梁，常见的有所以、因此、于是、表明等。

前提指示词是区分前提命题的关键，可以由此了解整个论证的结构...]

“那如果命题是错误的呢，比如说三段论中，我举个例子哈，”格温转着眼珠，“大前提是所有超级英雄都很有钱。小前提是超人是超级英雄。结论是超人很有钱，这就不对了吧。”

“格温，拜托，现在你是一个逻辑学家，逻辑学家并不在意命题的真假好不好，他们只在意命题的逻辑关系和论证的结构。而关于你在意的真假，那是科学家的工作！你希望科学家害怕被逻辑学家抢了工作大打出手，嘴里还念叨着‘不要逻辑要真理吗？’”彼得指着墙壁上的费曼海报对格温说。

“哦，这倒是。”格温摊摊手。

“行吧，服了你了，我把逻辑符号画给你看。”

彼得站起身，从书包里抽出一张草稿纸。

“这个，^合取，是且的意思...如果有n个命题被这个符号联系，那它们必须都为真，整个命题才成立......v折取，是或的意思...n个命题里有一个成立，整个命题就成立......-》蕴含，条件命题...也就是如果，那么......~否定，放在符号化的命题的前面......最后一个，《-》等值，当且仅当的意思。”

“那我就明白了，‘超人得罪了蝙蝠侠’和‘闪电侠得罪了蝙蝠侠’我用a和b表示...‘蝙蝠侠不会善罢甘休’我用c表示...‘神奇女侠会幸灾乐祸’我用d表示......不对啊，这些逻辑符号还要考虑优先级，是不是？”

格温抬起头，盯着彼得。

面无表情的那种。

“喔喔喔，悠着点，格温，你的表情......啊，怕了你了，~最优先，^和v次之，最后是-》和《-》。”

彼得隔着镜片，翻了下白眼。

总感觉她盯着的样子，有些让人心里发毛。

当然不是他怕了的原因。

嗯，就是这样。

“懂了!”

格温夺过笔，在彼得的笔记本上写写画画。

“所以，是不是这样！”她把写上字的那一面拿到了彼得的面前。

[(a∨b)-》(c∧d)]

“对是对了，不过最好还是把小括号去掉。”彼得打了个响指。

“对了就行，我才不管那么多。”

“顺便问一句，这几天不是有很多好剧，你怎么不在家看电视？现在可是离丽兹她爸邀请我们的时间早得多。”

“得了吧，电视这种古老的娱乐方式，还不如玩阿卡姆疯人院。没人喜欢罐头笑声，没人！我才不会看那些令人作呕的广告和想要把你当成傻子、灌输消费需求的电视剧呢。”

格温趴下身子，从彼得的床底下拿出了两听可乐。

“说实话，你真的应该把你床底下的杂志收拾一下的。”

“嘿！格温！我不是说了不要动我的东西吗？真让人难以置信！”

彼得立马跑过去，用脚把格温扯出来的不可名状的杂志踢回了床下。

“不管怎么样，我发现总比本叔和梅婶发现强，不是吗？”