文档介绍：.《逻辑学是什么》,北京大学出版社,2002. 、王****胜.《逻辑的社会功能》,北京大学出版社,2010.(逻辑时空丛书) .《趣味逻辑》,北京大学出版社,2005.(逻辑时空丛书)—命题逻辑。 (现代逻辑)的一个重要特征—完全符号化。其动因之一是自然语言的模糊性和歧义性。另一个重要特征是语形和语义的严格分离。命题逻辑(符号逻辑)不同形式的陈述(命题)及其推理推理有效性的判定(真值表、归谬赋值法)形式证明本讲主要内容 、合取、析取联结词的逻辑涵义 、析取命题的推理一、陈述(命题)和推理1、陈述(命题)、,是命题的物质载体。(属性或关系)的思维形式。两者之间有区别:只有表达了一种或真或假的思想的语句才是命题。。语句与命题并非一一对应同一命题可在不同语句中被断定。天在下雨。(中文)Itisraining.(英语)Estalloviendo.(西班牙语)Ilpleut.(法语)Esregent.(德语)《红楼梦》的作者是曹雪芹曹雪芹是《红楼梦》的作者同一语句可以表达不同的命题美国最大的州曾经是一个独立的共和国。这个语句在二十世纪上半叶说出,就是做了关于德克萨斯州的一个真命题;而在现在说出就做了关于阿拉斯加州的一个假命题。显然,时间语境的变化可以使完全相同的语句断定非常不同的命题。普希金奚落的少女少女:我不能和小孩子一起跳舞普希金:对不起,亲爱的小姐,我不知道你正怀着孩子道不变天不变。父在母先亡。“夔一足”:哀公问于孔子曰:“吾闻夔一足,信乎?”曰:“夔,人也,何故一足?彼其无他异,而独通于声。尧曰:‘夔一而足矣。’使为乐正。故君子曰:‘虁有一足。’非一足也。”简单陈述(命题)是不包含任何其他陈述作为其分支的陈述。复合陈述(命题)是包含其他陈述作为其分支的陈述。在复合陈述中,:(1)该部分本身是一个陈述;(2)该部分在更大的陈述中被其他任何一个陈述替换都仍然有意义。复合陈述(命题)1、并非所有金属都是固体。2、光既具有波动性,又具有粒子性。3、一个(宏观)物体或者是固体,或者是液体,或者是气体。4、如果某物体受到摩擦,那么它会生热。 复合陈述的基本结构:分支陈述+联结词       逻辑常项