格温飞过来，落到了她的肩上。
“艾斯，想我了吗？”格温看着肩上毛茸茸的家伙。
艾斯眯着眼睛，蹭着格温的头。
“命题，是对事态的判断......”
格温陷入了沉思。
“需要提示一下吗？......下定义，阐因果。”彼得摊在了椅背上。
“那只有一和六是命题，其中‘是’就相当于做了判断，是吗？”
“正确，恭喜了，格温小姐。”
“我就知道！下一个，符号化...唔......说说什么是命题的符号化。”
格温握紧拳头，为自己答案的正确表示了欣喜。
“一般来说，符号化之前要先明白命题的分类，包括合取、析取、条件、否定和等值这些关系命题，喏，下面那个练习就是分析命题的关系。而符号化，就是将一段话利用逻辑符号和字母表示出来，你看看，能不能先把那个复合命题分解成简单命题。”
彼得指了指笔记本的下面部分，打开了包装纸，将泡泡糖扔进了嘴里。
[如果超人或者闪电侠得罪了蝙蝠侠，那么蝙蝠侠不会善罢甘休而神奇女侠会幸灾乐祸。
“这...说下这道题怎么做。”
“看之前我做的笔记，指示词那段。”
格温往前翻了几页。
[论证的过程包括前提和结论，而区分指示词是重要的一环。
事实上，指示词包括两种，正如论证有演绎论证和归纳论证一样。
结论指示词是连接两个命题的桥梁，常见的有所以、因此、于是、表明等。
前提指示词是区分前提命题的关键，可以由此了解整个论证的结构
“那如果命题是错误的呢，比如说三段论中，我举个例子哈，”格温转着眼珠，“大前提是所有超级英雄都很有钱。小前提是超人是超级英雄。结论是超人很有钱，这就不对了吧。”
“格温，拜托，现在你是一个逻辑学家，逻辑学家并不在意命题的真假好不好，他们只在意命题的逻辑关系和论证的结构。而关于你在意的真假，那是科学家的工作！你希望科学家害怕被逻辑学家抢了工作大打出手，嘴里还念叨着‘不要逻辑要真理吗？’”彼得指着墙壁上的费曼海报对格温说。
“哦，这倒是。”格温摊摊手。
“行吧，服了你了，我把逻辑符号画给你看。”
彼得站起身，从书包里抽出一张草稿纸。
“这个，^合取，是且的意思...如果有n个命题被这个符号联系，那它们必须都为真，整个命题才成立......v折取，是或的意思...n个命题里有一个成立，整个命题就成立......-》蕴含，条件命题...也就是如果，那么......~否定，放在符号化的命题的前面......最后一个，《-》等值，当且仅当的意思。”
“那我就明
请收藏：https://m.tokew.com
（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）