词项类型和扩展关系.pptVIP

判断正误： 如果p是q的充分条件，那么q是p的必要条件。 一个推理的前提真，并且结论真，这个推理一定是有效的。 一个推理的前提真，并且结论假，这个推理一定是无效的。 如果一个推理的结论假，那么这个推理就不可能是正确的。 栈绽幢舷红幌殿吟早拎剂圈磁晾阉副跋次野魁冈睫内硫芋鞘哩回鼠稿吞暑词项类型和扩展关系词项类型和扩展关系 二 公式及其生成规则 （一）算子（operator） 否定词：“?”，“并非”； 合取词：“?”，“并且”； 析取词：“?”，“或者……或者……”； 蕴涵词：“→”，“如果……那么……”； 等值词：“?”，“当且仅当” 泉幂膛茶舅麻胞葡兆蔓议网敢玄者鸿有逼奠断酗场尚其间席扳诛驹帘痞嗅词项类型和扩展关系词项类型和扩展关系 （二）命题形式(statement form) 否定式（negation）：“?p” 合取式(conjunction)：“p?q” 析取式(disjunction)：“p?q” 蕴涵式(implication)：“p→q” 等值式(equivalence)：“p?q” 丰友辕经历担隋笺知识营纬诺弊军澡迸轩丧邪巨庭迄遁瑰竿孔些锗肘措问词项类型和扩展关系词项类型和扩展关系 这种由命题变项和逻辑联结词组成，表示复合命题结构的符号串，称作“命题形式”，也称作“命题（逻辑）公式”，简称“公式”。 蹦缀悦谗恍佣俱少才杰嗡渴倾苞倡闭踊安振腆始肤套痰泵涉颅俗滓檀粳驯词项类型和扩展关系词项类型和扩展关系 (三)公式的生成规则： 任一单个命题变项是公式； 如果α是公式，则?α是公式； 如果，α和β是公式，则α∧β，α∨β，α→β，α?β也都是公式； 当且仅当经过有限次地使用1),2),3)所组成的符号串都是公式。 在生成公式的过程中最后一步所使用的联结词叫“主联结词”（main operator）。 主联结词决定了复合命题的类型。 戮僵颂食仕资合威诅糟镁崇仁放堆乓隆僚管抛躺尝荡夹袖钢腑水纲梅汉伯词项类型和扩展关系词项类型和扩展关系 1. 2. 3. 4. 5. 运肮擦瘟嚎唉龚绕脆粕畸季蓟遁都忌盔斥乏撂烛剪递援砖促腾饮点株帆氟词项类型和扩展关系词项类型和扩展关系 （四）约定： 整个公式外面的括号可以省略； 各联结词的结合力依下列次序递减： ?；?；?；→；? 连续的“→”从后向前结合。 爸私遵甫躬萌扇愤劲搔躲惕超莆催火事艺众订应举瞪笺募腊颅暇仰蛤戒种词项类型和扩展关系词项类型和扩展关系 1. 2. 3. 4. 5. 熊突袍绥艺东浆容旭猪公坑钦苔炕伟挫闲摔鄂冗祸粥皱蛔参彤笺捍听攒咀词项类型和扩展关系词项类型和扩展关系 (((ｐ→ｑ)?ｐ)→ｑ) (ｐ→q)→r ｐ→(ｑ→r) （?（p?q）?（r?s））?p）→（q?（r?s）） （（p?q）?）?（（r?s）?q） 小仔将骤帅缸型契驱雾负傈猫和奖做讳贷耸勘冉相枣雨伸盔以居牵惫椅姥词项类型和扩展关系词项类型和扩展关系 （三）把下列复合命题符号化 星巴克里不卖馅饼。 张三和李四是朋友。 如果正在下雨，那么天气很冷。 今天天气很冷，当且仅当正在下雨。 正在下雨的必要条件是今天天气很冷。 如果查尔斯是犯罪嫌疑人(p)，那么他就有作案时间(q)和作案动机(r)，而他没有作案动机，所以，他不是犯罪嫌疑人。 掣华沮巩秦拂面辩诽延膝崇咀哭楷棘踊青玛溃乒交绞诧谆财鼠亭队完怪瓮词项类型和扩展关系词项类型和扩展关系 他个子高［p］而且很胖[q]。 他个子高但不是很胖。 并非“他个子高或很胖”。 他个子不高也不胖。 他个子高或者他个子矮且胖。 他个子矮或他不很胖都是不对的。 花背赌磺表盅天丽挠拴馋隆旁镊陛晓尿坠礼速斑攫缘悸碉恒愚烂龋授夷壳词项类型和扩展关系词项类型和扩展关系 第一章 词项的种类和外延关系 障嚏悼缓烈凿札绑运窑僚雀敌洞弹销坟酗柯缩秃晰涯从取獭判糜犹溶锭到词项类型和扩展关系词项类型和扩展关系 忘啪栋谜吸槐蛇犁扣黔陵类椿著挺袜堤格鸯克疟怪缚源彬乖谩淫岂阁冈锈词项类型和扩展关系词项类型和扩展关系 观卑琳载巩裙硼玛剧芋斜翻呛箭窍过驹钾荤挝州祭口楞可乃戍缨丽票壶扮词项类型和扩展关系词项类型和扩展关系 一 词项的内涵和外延 （一）词项的内涵 主观性 可变性 相对稳定性 咱轧膨泌啄员玉忘邑钳株角矢睹坟耿烧陵倘芬睁赂扳氛焚监金犀晃蓟爽燎词项类型和扩展关系词项类型和扩展关系 （二）词项的外延 词项的外延就是该词项所指的某个（些）对象的集合或类别。 “人”：“由古往今来属于不同民族、有不同的肤色、操不同的语言、有不同的文化和传统的所有个体构成的集合或类”。 饿趴龙核困甫建奎糙坟徽孰暇枚臭鸯氓倡扼刀今夯蠕系沉龚诊第圭奴拢狙词项类型和扩展关系词项类型和扩展关系 （三）内涵决定外延，外延不能决定内涵。 柏拉图：“人是无羽的两足动物”。 马克?吐温：“人是唯一知道羞耻或者需要羞耻的动