第6章 邏輯遊戲 其一

「準備什麼時候走？」

「啊！*！」

身後突然出現的人聲，嚇了彼得一跳。

他剛才可是無比專註的。

手中的筆掉在了地上。

「格....溫！！！」

彼得仰著頭，捂著劇烈跳動的心臟位置，深呼吸，想要平息下來。

皇後區。

這裡，治安不是太好的地方。

呵，或許是居民的要求太高了。

但夜晚嚎叫的警笛可不這樣覺得。

家。

甜蜜的家。

畢竟也沒錢搬到其他地方不是。

「格溫！你是有什麼毛病嗎？！你完全能從正門進來的！」

格溫坐在窗戶上，沒有著地的腳一搖一擺。

手裡還拋著彼得放在窗戶上的獎盃。

她甩了甩自己的短髮，嘴裡吐出的泡泡也隨之晃了晃。

「怎麼，不歡迎我？我就喜歡從窗戶里進來。」

砰——

說話聲在泡泡的破裂聲后出現。

「這是二樓！二樓！」

彼得面朝天花板，雙手捂著臉，由舉過頭頂，一副難以置信的表情。

這都不是一次兩次了。

真的讓人.....抓狂地想要朝她臉上扔個書包。

那種在裡面裝著滿滿當當的啞鈴、不留一絲空隙的書包。

至於她為什麼過來......

無聊，是人類的兩個死敵之一。

「彼得，樓上怎麼那麼吵？」

梅嬸的聲音從樓下傳上來。

「梅嬸，格溫來了！」

他大聲喊道。

「你還在寫作業？」

格溫發現鋪在彼得面前的筆記本和教材，她摘下一側的耳機，湊近彼得的書桌。

窗外灑進來一縷泛紅的晚霞，散射到彼得靠牆的書架上。

當然，剛才是因為格溫擋住了，屋內才暗淡不少。

咕嚕嚕————

「邏輯學課上布置的，挺有趣。想試試嗎？」彼得雙腳朝後使勁，座椅的軲轆在地板上劃過。

格溫從兜里拿出一塊泡泡糖，甩給彼得，站在椅子原來的地方，拿起桌子上的筆記本。

「接住...額，不得不說，這老師還真是個人才。」

她挑起眉頭。

筆記本上。

[下列哪個是命題？

1.布魯斯韋恩和克拉克肯特是同一個人！

2.ukpkmk-.

3.睾丸癌互助會的成員是活是死？

4.麗莎辛普森拿著錄取通知書。

5...]

「你們老師可真後現代。看樣子，跟你一樣，是個書獃子。」

「沒人會因為喜歡學習，就得被冠上書獃子的外號，好嗎，格溫？而且這裡面的梗，你也不比我懂的少。」彼得捏著鼻樑，他有些頭疼。「答應我，一，下次走門。二，不要嚇我。三，現在、立刻、馬上，把我的獎盃放回去！」

「嗨嗨嗨，是，我的彼得大人。」

獎盃被自討沒趣的格溫放回原處，但顯然並不是很穩。

底座在窗台上一直晃，發出波紋般的震蕩聲。

架子上的艾斯撲哧著翅膀，朝格溫飛過來，落到了她的肩上。

「艾斯，想我了嗎？」格溫看著肩上毛茸茸的傢伙。

艾斯眯著眼睛，蹭著格溫的頭。

「命題，是對事態的判斷......」

格溫陷入了沉思。

「需要提示一下嗎？......下定義，闡因果。」彼得攤在了椅背上。

「那只有一和六是命題，其中『是』就相當於做了判斷，是嗎？」

「正確，恭喜了，格溫小姐。」

「我就知道！下一個，符號化...唔......說說什麼是命題的符號化。」

格溫握緊拳頭，為自己答案的正確表示了欣喜。

「一般來說，符號化之前要先明白命題的分類，包括合取、析取、條件、否定和等值這些關係命題，喏，下面那個練習就是分析命題的關係。而符號化，就是將一段話利用邏輯符號和字母表示出來，你看看，能不能先把那個複合命題分解成簡單命題。」

彼得指了指筆記本的下面部分，打開了包裝紙，將泡泡糖扔進了嘴裡。

[如果超人或者閃電俠得罪了蝙蝠俠，那麼蝙蝠俠不會善罷甘休而神奇女俠會幸災樂禍。]

「這...說下這道題怎麼做。」

「看之前我做的筆記，指示詞那段。」

格溫往前翻了幾頁。

[論證的過程包括前提和結論，而區分指示詞是重要的一環。

事實上，指示詞包括兩種，正如論證有演繹論證和歸納論證一樣。

結論指示詞是連接兩個命題的橋樑，常見的有所以、因此、於是、表明等。

前提指示詞是區分前提命題的關鍵，可以由此了解整個論證的結構...]

「那如果命題是錯誤的呢，比如說三段論中，我舉個例子哈，」格溫轉著眼珠，「大前提是所有超級英雄都很有錢。小前提是超人是超級英雄。結論是超人很有錢，這就不對了吧。」

「格溫，拜託，現在你是一個邏輯學家，邏輯學家並不在意命題的真假好不好，他們只在意命題的邏輯關係和論證的結構。而關於你在意的真假，那是科學家的工作！你希望科學家害怕被邏輯學家搶了工作大打出手，嘴裡還念叨著『不要邏輯要真理嗎？』」彼得指著牆壁上的費曼海報對格溫說。

「哦，這倒是。」格溫攤攤手。

「行吧，服了你了，我把邏輯符號畫給你看。」

彼得站起身，從書包里抽出一張草稿紙。

「這個，^合取，是且的意思...如果有n個命題被這個符號聯繫，那它們必須都為真，整個命題才成立......v折取，是或的意思...n個命題里有一個成立，整個命題就成立......-》蘊含，條件命題...也就是如果，那麼......~否定，放在符號化的命題的前面......最後一個，《-》等值，當且僅當的意思。」

「那我就明白了，『超人得罪了蝙蝠俠』和『閃電俠得罪了蝙蝠俠』我用a和b表示...『蝙蝠俠不會善罷甘休』我用c表示...『神奇女俠會幸災樂禍』我用d表示......不對啊，這些邏輯符號還要考慮優先順序，是不是？」

格溫抬起頭，盯著彼得。

面無表情的那種。

「喔喔喔，悠著點，格溫，你的表情......啊，怕了你了，~最優先，^和v次之，最後是-》和《-》。」

彼得隔著鏡片，翻了下白眼。

總感覺她盯著的樣子，有些讓人心裡發毛。

當然不是他怕了的原因。

嗯，就是這樣。

「懂了!」

格溫奪過筆，在彼得的筆記本上寫寫畫畫。

「所以，是不是這樣！」她把寫上字的那一面拿到了彼得的面前。

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

「對是對了，不過最好還是把小括弧去掉。」彼得打了個響指。

「對了就行，我才不管那麼多。」

「順便問一句，這幾天不是有很多好劇，你怎麼不在家看電視？現在可是離麗茲她爸邀請我們的時間早得多。」

「得了吧，電視這種古老的娛樂方式，還不如玩阿卡姆瘋人院。沒人喜歡罐頭笑聲，沒人！我才不會看那些令人作嘔的廣告和想要把你當成傻子、灌輸消費需求的電視劇呢。」

格溫趴下身子，從彼得的床底下拿出了兩聽可樂。

「說實話，你真的應該把你床底下的雜誌收拾一下的。」

「嘿！格溫！我不是說了不要動我的東西嗎？真讓人難以置信！」

彼得立馬跑過去，用腳把格溫扯出來的不可名狀的雜誌踢回了床下。

「不管怎麼樣，我發現總比本叔和梅嬸發現強，不是嗎？」