奖杯被自讨没趣的格温放回原处，但显然并不是很稳。
底座在窗台上一直晃，发出波纹般的震荡声。
架子上的艾斯扑哧着翅膀，朝格温飞过来，落到了她的肩上。
“艾斯，想我了吗？”格温看着肩上毛茸茸的家伙。
艾斯眯着眼睛，蹭着格温的头。
“命题，是对事态的判断......”
格温陷入了沉思。
“需要提示一下吗？......下定义，阐因果。”彼得摊在了椅背上。
“那只有一和六是命题，其中‘是’就相当于做了判断，是吗？”
“正确，恭喜了，格温小姐。”
“我就知道！下一个，符号化...唔......说说什么是命题的符号化。”
格温握紧拳头，为自己答案的正确表示了欣喜。
“一般来说，符号化之前要先明白命题的分类，包括合取、析取、条件、否定和等值这些关系命题，喏，下面那个练习就是分析命题的关系。而符号化，就是将一段话利用逻辑符号和字母表示出来，你看看，能不能先把那个复合命题分解成简单命题。”
彼得指了指笔记本的下面部分，打开了包装纸，将泡泡糖扔进了嘴里。
[如果超人或者闪电侠得罪了蝙蝠侠，那么蝙蝠侠不会善罢甘休而神奇女侠会幸灾乐祸。
“这...说下这道题怎么做。”
“看之前我做的笔记，指示词那段。”
格温往前翻了几页。
[论证的过程包括前提和结论，而区分指示词是重要的一环。
事实上，指示词包括两种，正如论证有演绎论证和归纳论证一样。
结论指示词是连接两个命题的桥梁，常见的有所以、因此、于是、表明等。
前提指示词是区分前提命题的关键，可以由此了解整个论证的结构
“那如果命题是错误的呢，比如说三段论中，我举个例子哈，”格温转着眼珠，“大前提是所有超级英雄都很有钱。小前提是超人是超级英雄。结论是超人很有钱，这就不对了吧。”
“格温，拜托，现在你是一个逻辑学家，逻辑学家并不在意命题的真假好不好，他们只在意命题的逻辑关系和论证的结构。而关于你在意的真假，那是科学家的工作！你希望科学家害怕被逻辑学家抢了工作大打出手，嘴里还念叨着‘不要逻辑要真理吗？’”彼得指着墙壁上的费曼海报对格温说。
“哦，这倒是。”格温摊摊手。
“行吧，服了你了，我把逻辑符号画给你看。”
彼得站起身，从书包里抽出一张草稿纸。
“这个，^合取，是且的意思...如果有n个命题被这个符号联系，那它们必须都为真，整个命题才成立......v折取，是或的意思...n个命题里有一个成立，整个命题就成立......-》蕴含，条件命题...也就是如果，那么......~否定，放在符号化的命题的前面......最后一个，《-》等值，当且仅当的意思。”
“那我就明白了，‘超人得罪了蝙蝠侠’和‘闪电侠得罪了蝙蝠侠’我用a和b表示...‘蝙蝠侠不会善罢甘休’我用c表示...‘神奇女侠会幸灾乐祸’我用d表示......不对啊，这些逻辑符号还要考虑优先级，是不是？”
格温抬起头，盯着彼得。
面无表情的那种。……
本章未完，请点击下一页继续阅读！面无表情的那种。
“喔喔喔，悠着点，格温，你的表情......啊，怕了你了，~最优先，^和v次之，最后是-》和《-》。”
彼得隔着镜片，翻了下白眼。
总感觉她盯着的样子，有些让人心里发毛。
当然不是他怕了的原因。
嗯，就是这样。
“懂了!”
格温夺过笔，在彼得的笔记本上写写画画。
“所以，是不是这样！”她把写上字的那一面拿到了彼得的面前。
[(avb)-》(～c∧
“对是对了，不过最好还是把小括号去掉。”彼得打了个响指。
“对了就行，我才不管那么多。”
“顺便问一句，这几天不是有很多好剧，你怎么不在家看电视？现在可是离丽兹她爸邀请我们的时间早得多。”
“得了吧，电视这种古老的娱乐方式，还不如玩阿卡姆疯人院。没人喜欢罐头笑声，没人！我才不会看那些令人作呕的广告和想要把你当成傻子、灌输消费需求的电视剧呢。”
格温趴下身子，从彼得的床底下拿出了两听可乐。
“说实话，你真的应该把你床底下的杂志收拾一下的。”
“嘿！格温！我不是说了不要动我的东西吗？真让人难以置信！”
彼得立马跑过去，用脚把格温扯出来的不可名状的杂志踢回了床下。
“不管怎么样，我发现总比本叔和梅婶发现强，不是吗？”