第6章 逻辑游戏 其一
“准备什么时候走？”
“啊！*！”
身后突然出现的人声，吓了彼得一跳。
他刚才可是无比专注的。
手中的笔掉在了地上。
“格....温！！！”
彼得仰着头，捂着剧烈跳动的心脏位置，深呼吸，想要平息下来。
皇后区。
这里，治安不是太好的地方。
呵，或许是居民的要求太高了。
但夜晚嚎叫的警笛可不这样觉得。
家。
甜蜜的家。
毕竟也没钱搬到其他地方不是。
“格温！你是有什么毛病吗？！你完全能从正门进来的！”
格温坐在窗户上，没有着地的脚一摇一摆。
手里还抛着彼得放在窗户上的奖杯。
她甩了甩自己的短发，嘴里吐出的泡泡也随之晃了晃。
“怎么，不欢迎我？我就喜欢从窗户里进来。”
砰——
说话声在泡泡的破裂声后出现。
“这是二楼！二楼！”
彼得面朝天花板，双手捂着脸，由举过头顶，一副难以置信的表情。
这都不是一次两次了。
真的让人.....抓狂地想要朝她脸上扔个书包。
那种在里面装着满满当当的哑铃、不留一丝空隙的书包。
至于她为什么过来......
无聊，是人类的两个死敌之一。
“彼得，楼上怎么那么吵？”
梅婶的声音从楼下传上来。
“梅婶，格温来了！”
他大声喊道。
“你还在写作业？”
格温发现铺在彼得面前的笔记本和教材，她摘下一侧的耳机，凑近彼得的书桌。
窗外洒进来一缕泛红的晚霞，散射到彼得靠墙的书架上。
当然，刚才是因为格温挡住了，屋内才暗淡不少。
咕噜噜————
“逻辑学课上布置的，挺有趣。想试试吗？”彼得双脚朝后使劲，座椅的轱辘在地板上划过。
格温从兜里拿出一块泡泡糖，甩给彼得，站在椅子原来的地方，拿起桌子上的笔记本。
“接住...额，不得不说，这老师还真是个人才。”
她挑起眉头。
笔记本上。
[下列哪个是命题？
1.布鲁斯韦恩和克拉克肯特是同一个人！
2.ukpkmk-.
3.睾丸癌互助会的成员是活是死？
4.丽莎辛普森拿着录取通知书。
5...]
“你们老师可真后现代。看样子，跟你一样，是个书呆子。”
“没人会因为喜欢学习，就得被冠上书呆子的外号，好吗，格温？而且这里面的梗，你也不比我懂的少。”彼得捏着鼻梁，他有些头疼。“答应我，一，下次走门。二，不要吓我。三，现在、立刻、马上，把我的奖杯放回去！”
“嗨嗨嗨，是，我的彼得大人。”
奖杯被自讨没趣的格温放回原处，但显然并不是很稳。
底座在窗台上一直晃，发出波纹般的震荡声。
架子上的艾斯扑哧着翅膀，朝格温飞过来，落到了她的肩上。
“艾斯，想我了吗？”格温看着肩上毛茸茸的家伙。
艾斯眯着眼睛，蹭着格温的头。
“命题，是对事态的判断......”
格温陷入了沉思。
“需要提示一下吗？......下定义，阐因果。”彼得摊在了椅背上。
“那只有一和六是命题，其中‘是’就相当于做了判断，是吗？”
“正确，恭喜了，格温小姐。”
“我就知道！下一个，符号化...唔......说说什么是命题的符号化。”
格温握紧拳头，为自己答案的正确表示了欣喜。
“一般来说，符号化之前要先明白命题的分类，包括合取、析取、条件、否定和等值这些关系命题，喏，下面那个练习就是分析命题的关系。而符号化，就是将一段话利用逻辑符号和字母表示出来，你看看，能不能先把那个复合命题分解成简单命题。”
彼得指了指笔记本的下面部分，打开了包装纸，将泡泡糖扔进了嘴里。
[如果超人或者闪电侠得罪了蝙蝠侠，那么蝙蝠侠不会善罢甘休而神奇女侠会幸灾乐祸。]
“这...说下这道题怎么做。”
“看之前我做的笔记，指示词那段。”
格温往前翻了几页。
[论证的过程包括前提和结论，而区分指示词是重要的一环。
事实上，指示词包括两种，正如论证有演绎论证和归纳论证一样。
结论指示词是连接两个命题的桥梁，常见的有所以、因此、于是、表明等。
前提指示词是区分前提命题的关键，可以由此了解整个论证的结构...]
“那如果命题是错误的呢，比如说三段论中，我举个例子哈，”格温转着眼珠，“大前提是所有超级英雄都很有钱。小前提是超人是超级英雄。结论是超人很有钱，这就不对了吧。”
“格温，拜托，现在你是一个逻辑学家，逻辑学家并不在意命题的真假好不好，他们只在意命题的逻辑关系和论证的结构。而关于你在意的真假，那是科学家的工作！你希望科学家害怕被逻辑学家抢了工作大打出手，嘴里还念叨着‘不要逻辑要真理吗？’”彼得指着墙壁上的费曼海报对格温说。
“哦，这倒是。”格温摊摊手。
“行吧，服了你了，我把逻辑符号画给你看。”
彼得站起身，从书包里抽出一张草稿纸。
“这个，^合取，是且的意思...如果有n个命题被这个符号联系，那它们必须都为真，整个命题才成立......v折取，是或的意思...n个命题里有一个成立，整个命题就成立......-》蕴含，条件命题...也就是如果，那么......~否定，放在符号化的命题的前面......最后一个，《-》等值，当且仅当的意思。”
“那我就明白了，‘超人得罪了蝙蝠侠’和‘闪电侠得罪了蝙蝠侠’我用a和b表示...‘蝙蝠侠不会善罢甘休’我用c表示...‘神奇女侠会幸灾乐祸’我用d表示......不对啊，这些逻辑符号还要考虑优先级，是不是？”
格温抬起头，盯着彼得。
面无表情的那种。
“喔喔喔，悠着点，格温，你的表情......啊，怕了你了，~最优先，^和v次之，最后是-》和《-》。”
彼得隔着镜片，翻了下白眼。
总感觉她盯着的样子，有些让人心里发毛。
当然不是他怕了的原因。
嗯，就是这样。
“懂了!”
格温夺过笔，在彼得的笔记本上写写画画。
“所以，是不是这样！”她把写上字的那一面拿到了彼得的面前。
[(a∨b)-》(∼c∧d)]
“对是对了，不过最好还是把小括号去掉。”彼得打了个响指。
“对了就行，我才不管那么多。”
“顺便问一句，这几天不是有很多好剧，你怎么不在家看电视？现在可是离丽兹她爸邀请我们的时间早得多。”
“得了吧，电视这种古老的娱乐方式，还不如玩阿卡姆疯人院。没人喜欢罐头笑声，没人！我才不会看那些令人作呕的广告和想要把你当成傻子、灌输消费需求的电视剧呢。”
格温趴下身子，从彼得的床底下拿出了两听可乐。
“说实话，你真的应该把你床底下的杂志收拾一下的。”
“嘿！格温！我不是说了不要动我的东西吗？真让人难以置信！”
彼得立马跑过去，用脚把格温扯出来的不可名状的杂志踢回了床下。
“不管怎么样，我发现总比本叔和梅婶发现强，不是吗？”
“啊！*！”
身后突然出现的人声，吓了彼得一跳。
他刚才可是无比专注的。
手中的笔掉在了地上。
“格....温！！！”
彼得仰着头，捂着剧烈跳动的心脏位置，深呼吸，想要平息下来。
皇后区。
这里，治安不是太好的地方。
呵，或许是居民的要求太高了。
但夜晚嚎叫的警笛可不这样觉得。
家。
甜蜜的家。
毕竟也没钱搬到其他地方不是。
“格温！你是有什么毛病吗？！你完全能从正门进来的！”
格温坐在窗户上，没有着地的脚一摇一摆。
手里还抛着彼得放在窗户上的奖杯。
她甩了甩自己的短发，嘴里吐出的泡泡也随之晃了晃。
“怎么，不欢迎我？我就喜欢从窗户里进来。”
砰——
说话声在泡泡的破裂声后出现。
“这是二楼！二楼！”
彼得面朝天花板，双手捂着脸，由举过头顶，一副难以置信的表情。
这都不是一次两次了。
真的让人.....抓狂地想要朝她脸上扔个书包。
那种在里面装着满满当当的哑铃、不留一丝空隙的书包。
至于她为什么过来......
无聊，是人类的两个死敌之一。
“彼得，楼上怎么那么吵？”
梅婶的声音从楼下传上来。
“梅婶，格温来了！”
他大声喊道。
“你还在写作业？”
格温发现铺在彼得面前的笔记本和教材，她摘下一侧的耳机，凑近彼得的书桌。
窗外洒进来一缕泛红的晚霞，散射到彼得靠墙的书架上。
当然，刚才是因为格温挡住了，屋内才暗淡不少。
咕噜噜————
“逻辑学课上布置的，挺有趣。想试试吗？”彼得双脚朝后使劲，座椅的轱辘在地板上划过。
格温从兜里拿出一块泡泡糖，甩给彼得，站在椅子原来的地方，拿起桌子上的笔记本。
“接住...额，不得不说，这老师还真是个人才。”
她挑起眉头。
笔记本上。
[下列哪个是命题？
1.布鲁斯韦恩和克拉克肯特是同一个人！
2.ukpkmk-.
3.睾丸癌互助会的成员是活是死？
4.丽莎辛普森拿着录取通知书。
5...]
“你们老师可真后现代。看样子，跟你一样，是个书呆子。”
“没人会因为喜欢学习，就得被冠上书呆子的外号，好吗，格温？而且这里面的梗，你也不比我懂的少。”彼得捏着鼻梁，他有些头疼。“答应我，一，下次走门。二，不要吓我。三，现在、立刻、马上，把我的奖杯放回去！”
“嗨嗨嗨，是，我的彼得大人。”
奖杯被自讨没趣的格温放回原处，但显然并不是很稳。
底座在窗台上一直晃，发出波纹般的震荡声。
架子上的艾斯扑哧着翅膀，朝格温飞过来，落到了她的肩上。
“艾斯，想我了吗？”格温看着肩上毛茸茸的家伙。
艾斯眯着眼睛，蹭着格温的头。
“命题，是对事态的判断......”
格温陷入了沉思。
“需要提示一下吗？......下定义，阐因果。”彼得摊在了椅背上。
“那只有一和六是命题，其中‘是’就相当于做了判断，是吗？”
“正确，恭喜了，格温小姐。”
“我就知道！下一个，符号化...唔......说说什么是命题的符号化。”
格温握紧拳头，为自己答案的正确表示了欣喜。
“一般来说，符号化之前要先明白命题的分类，包括合取、析取、条件、否定和等值这些关系命题，喏，下面那个练习就是分析命题的关系。而符号化，就是将一段话利用逻辑符号和字母表示出来，你看看，能不能先把那个复合命题分解成简单命题。”
彼得指了指笔记本的下面部分，打开了包装纸，将泡泡糖扔进了嘴里。
[如果超人或者闪电侠得罪了蝙蝠侠，那么蝙蝠侠不会善罢甘休而神奇女侠会幸灾乐祸。]
“这...说下这道题怎么做。”
“看之前我做的笔记，指示词那段。”
格温往前翻了几页。
[论证的过程包括前提和结论，而区分指示词是重要的一环。
事实上，指示词包括两种，正如论证有演绎论证和归纳论证一样。
结论指示词是连接两个命题的桥梁，常见的有所以、因此、于是、表明等。
前提指示词是区分前提命题的关键，可以由此了解整个论证的结构...]
“那如果命题是错误的呢，比如说三段论中，我举个例子哈，”格温转着眼珠，“大前提是所有超级英雄都很有钱。小前提是超人是超级英雄。结论是超人很有钱，这就不对了吧。”
“格温，拜托，现在你是一个逻辑学家，逻辑学家并不在意命题的真假好不好，他们只在意命题的逻辑关系和论证的结构。而关于你在意的真假，那是科学家的工作！你希望科学家害怕被逻辑学家抢了工作大打出手，嘴里还念叨着‘不要逻辑要真理吗？’”彼得指着墙壁上的费曼海报对格温说。
“哦，这倒是。”格温摊摊手。
“行吧，服了你了，我把逻辑符号画给你看。”
彼得站起身，从书包里抽出一张草稿纸。
“这个，^合取，是且的意思...如果有n个命题被这个符号联系，那它们必须都为真，整个命题才成立......v折取，是或的意思...n个命题里有一个成立，整个命题就成立......-》蕴含，条件命题...也就是如果，那么......~否定，放在符号化的命题的前面......最后一个，《-》等值，当且仅当的意思。”
“那我就明白了，‘超人得罪了蝙蝠侠’和‘闪电侠得罪了蝙蝠侠’我用a和b表示...‘蝙蝠侠不会善罢甘休’我用c表示...‘神奇女侠会幸灾乐祸’我用d表示......不对啊，这些逻辑符号还要考虑优先级，是不是？”
格温抬起头，盯着彼得。
面无表情的那种。
“喔喔喔，悠着点，格温，你的表情......啊，怕了你了，~最优先，^和v次之，最后是-》和《-》。”
彼得隔着镜片，翻了下白眼。
总感觉她盯着的样子，有些让人心里发毛。
当然不是他怕了的原因。
嗯，就是这样。
“懂了!”
格温夺过笔，在彼得的笔记本上写写画画。
“所以，是不是这样！”她把写上字的那一面拿到了彼得的面前。
[(a∨b)-》(∼c∧d)]
“对是对了，不过最好还是把小括号去掉。”彼得打了个响指。
“对了就行，我才不管那么多。”
“顺便问一句，这几天不是有很多好剧，你怎么不在家看电视？现在可是离丽兹她爸邀请我们的时间早得多。”
“得了吧，电视这种古老的娱乐方式，还不如玩阿卡姆疯人院。没人喜欢罐头笑声，没人！我才不会看那些令人作呕的广告和想要把你当成傻子、灌输消费需求的电视剧呢。”
格温趴下身子，从彼得的床底下拿出了两听可乐。
“说实话，你真的应该把你床底下的杂志收拾一下的。”
“嘿！格温！我不是说了不要动我的东西吗？真让人难以置信！”
彼得立马跑过去，用脚把格温扯出来的不可名状的杂志踢回了床下。
“不管怎么样，我发现总比本叔和梅婶发现强，不是吗？”
转码声明：以上内容基于搜索引擎转码技术对网站内容进行转码阅读，自身不保存任何数据，请您支持正版