第四、五章 命题逻辑(全).pptVIP

第四章 命题逻辑（上） 第一节 命题概述 一、命题的概念与逻辑特征 概念：借助语句来表达的反映思维对象情况并有真假之分的思想。 逻辑特征： 1、对思维对象有所断定。 2、有真假之分。 二、命题与语句 联系：语句是命题的表现形式。 区别： 1、并非任何语句都表达命题。 2、同一语句可表达不同命题。 3、同一命题可用不同语句来表达。 三、命题的种类 第二节 复合命题 一、概念：包含有其他命题的命题。 二、逻辑常项：联结词 三、逻辑值（真值）：为真，记为1；为假，记为0 四、复合命题的种类及其特征 （一）联言命题 1、逻辑形式：p并且q 2、公式： p∧q 3、常用联结词： “……并且……” “既是……又是……”、 “不但……而且……”、“虽然……但是……”、 “……也……”等 4、联言命题的真值特征 （二）选言命题 相容选言命题 1、逻辑形式：p或者q 2、公式： p∨q 3、常用联结词： “或者”、“可能”、“或许”等。 不相容选言命题 1、逻辑形式：要么p要么q 2、公式： p∨q 3、常用联结词： “要么……要么……” “不是……就是……”等 4、选言命题的真值特征 相容选言命题 ——一真即为真 不相容选言命题 ——一真方为真 从前有一位富家女，长得如花似玉。一天，有两家人来提亲。东家子长相一般，家境富裕；西家子长得漂亮，但家境贫寒。父亲对她说：“如果你同意嫁给东家子，就举左手；如果你同意嫁给西家子，就举右手。”她把一双手都举了起来。父亲一看，急了：“你不能同时嫁给两个男人啊！” 富家女说：“我可以到东家吃饭，西家住宿啊。” “嫁给东家子或是西家子”—— （三）假言命题 充分条件假言命题 1、逻辑形式：如果p，那么q 2、公式： p → q 3、常用联结词： “如果……那么”、“只要……就”、“……就……”等。 必要条件假言命题 1、逻辑形式：只有p，才q 2、公式： p ← q 3、常用联结词： “只有……才”、 “除非……不”、 “必须……才”等。 充要条件假言命题 1、逻辑形式：p当且仅当q 2、公式： p q 3、常用联结词： “当且仅当……则”、“如果……则”、“并且只有…才……” “如果而且仅仅如果……就……”等。 4、假言命题真值的特征 县官给李老汉的难题：找一头公牛生的犊子 李老汉的女儿：我父亲生孩子去了。 县官：世上哪有男人生孩子的？ 小芳：如果公牛能生犊子，那么男人就能生孩子。如果男人不能生孩子，那么公牛也就不能生犊子。 （四）负命题 1、逻辑形式：并非p 2、公式： ?p 3、常用联结词：“并非”、“不是”、“不能说”、“是不对的”等 4、真值特征 （五）法律条文中的复合命题 1、定义形式的命题 （五）法律条文中的复合命题 1、定义形式的命题 2、除外命题 （五）法律条文中的复合命题 1、定义形式的命题 2、除外命题 3、混合形式多重复合命题 （五）法律条文中的复合命题 1、定义形式的命题 2、除外命题 3、混合形式多重复合命题 4、无联结词复合命题 （五）法律条文中的复合命题 1、定义形式的命题 2、除外命题 3、混合形式多重复合命题 4、无联结词复合命题 5、对法律条文中的“或者”的理解 复合命题真值的特征 第三节 复合命题真值表与重言式 一、真值函数 概念——真值取决于变项的真假情况的函数。 第三节 复合命题真值表与重言式 一、真值函数 概念——真值取决于变项的真假情况的函数。 f1=p f2= ?p f3= ?p ∨p f1= p∨q f2= p→q f3= p←q 二、真值表法 （一）概念：即表格真值指派法。它按照一定的次序，对一个公式的各个组成部分分别指派真值，求得该公式的真值。 （二）作用——利用真值表判定复合命题的真值。 p →(q →(p ∧q)) 二、真值表法 （一）概念：即表格真值指派法。它按照一定的次序，对一个公式的各个组成部分分别指派真值，求得该公式的真值。 （二）作用——利用真值表判定复合命题的真值。 p →(q →(p ∧q)) 二、真值表法 （一）概念：即表格真值指派法。它按照一定的次序，对一个公式的各个组成部分分别指派真值，求得该公式的真值。 （二）作用——利用真值表判定复合命题的真值。 p →(q →(p ∧q)) 二、真值表法 （一）概念：即表格真值指派法。它按照一定的次序，对一个公式的各个组成部分分别指派真值，求得该公式的真值。 （二）作用——利用真值表判定复合命题的真值。