第6章 逻辑游戏 其一 (第2/2页)

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

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

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

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

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

    格温往前翻了几页。

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

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

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

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

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

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

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

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

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

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

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

    格温抬起头，盯着彼得。

    面无表情的那种。

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

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

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

    当然不是他怕了的原因。

    嗯，就是这样。

    “懂了!”

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

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

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

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

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

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

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

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

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

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

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

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