普通逻辑学第二讲-复合命题及其推理2.pptVIP

  • 10
  • 0
  • 约1.75千字
  • 约 20页
  • 2018-12-19 发布于北京
  • 举报

普通逻辑学第二讲-复合命题及其推理2.ppt

普通逻辑学第二讲-复合命题及其推理2.ppt

第五节 负命题及其推理 复合命题的逻辑形式及逻辑值 * 0 1 1 0 p??q 0 1 1 1 p?q 0 0 0 1 p?q 1 1 0 1 p?q 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 p?q p?q q p 一 负命题及其逻辑值 1.含义:负命题是由否定一个命题而构成的命题。 例如: (1)并非所有的人都能辩证地思维。 (2)并不是一切水生动物都是鱼。 2.以“p”表示原命题,负命题就是: 并非p 公式:﹁p 3. 负命题的真值表 p ?p T F F T 二 负命题的种类 1、负联言命题及其等值命题 练习:将负联言命题转化成等值的命题 并非甲队打赢了并且乙队也打赢了 答案: 或者甲队没打赢,或者乙队没打赢。 公式:﹁(p∧q)?﹁p∨﹁q 0 0 0 0 1 0 0 0 1 1 1 1 p ? q q p 2、选言命题的负命题及其等值命题 练习:将负选言命题转化成等值的命题 并非价廉或者物美 并非要么你去要么我去 答案:价不廉且物不美 你去我也去,或者你不去我也不去 公式:﹁(p∨q)?(﹁p∧﹁q) ﹁(p∨q)?((p∧q)∨(﹁p∧﹁q)) 0 0 0 1 1 0 1 0 1 1 1 1 p ? q q p 0 0 0 1 1 0 1 0 1 0 1 1 p??q q p 3、假言命题的负命题及其等值命题 练习:将负假言命题转化成等值的命题,并以公式表达之 并非如果某人到过犯罪现场,那么某人就是罪犯 并非只有天才才能发明创造 并非当且仅当天刮风才下雨 答案:﹁(p→q)?(p∧﹁q) ﹁(p←q)?(﹁p∧q) ﹁(p?q)?(p∧┐q)∨(﹁p∧q) 1 0 0 1 1 0 0 0 1 1 1 1 p?q q p 1 0 0 0 1 0 1 0 1 1 1 1 p?q q p 1 0 0 0 1 0 0 0 1 1 1 1 p?q q p 三.负命题的等值命题 练习:将负命题的负命题转化成等值的命题,并以公式表达之 虽然困难重重,但也不是没办法。 答案:﹁﹁p?p 负命题推理 ﹁(p∧q) → ﹁p∨﹁q ﹁(p∨q) → ﹁p∧﹁q ﹁(p∨q) → (p∧q)∨(﹁p∧﹁q) ﹁(p→q) → p∧﹁q ﹁(p←q) → ﹁p∧q ﹁(p?q) → (p∧﹁q)∨(﹁p∧q) ﹁(﹁p) → p · 第六节 复合命题的其他推理 假言选言推理是由充分条件假言命题和选言命题作为前提,并根据充分条件假言命题和选言命题的逻辑性质进行的推理。 一、假言选言推理 (一)简单构成式 如果刺激老虎,那么他是要吃人的;如果不刺激老虎,那么它也是要吃人的; 或者刺激老虎,或者不刺激老虎; 所以,老虎总是要吃人的。 逻辑形式:((p→r)∧(q→r))∧(p∨q)→ r (二)简单破坏式 如果月球上有生物,则有空气;如果月球上有生物,则有水份; 月球上或者没有空气,或者没有水份; 所以,月球上没有生物。 逻辑形式: ((p→q)∧(p→r))∧(?q∨?r)→ ?p (三)复杂构成式 如果他的意见正确,那么你应该表示接受;如果他的意见错误,那么你应该表示反对; 他的意见或者正确或者错误; 所以,你或者应该表示接受,或者应该表示反对。 逻辑形式: ((p→q)∧(r→s))∧(p∨r)→ q∨s (四)复杂破坏式 如果林方歌行为是流氓罪,则具有流氓罪的特征;如果林方歌是伤害罪,则具有显著的危害后果; 林方歌行为或者不具有流氓罪的特征,或者不具有显著的危害后果; 所以,林方歌行为或者不构成流氓罪或者不构成伤害罪 逻辑形式: ((p→q)∧(r→s))∧(?q∨?s)→ ?p∨?r 简单构成式 p ? r q ? r p ? q ∴ r 简单破坏式 p ? q p ? r ? q ? ? r ∴ ? p 复杂构成式 p ? r q ? s p ? q ∴ r ? s 复杂破坏式 p ? r q ? s ? r ? ? s ∴ ? p ? ? q 二、假言联言推理 假言联言推理是由两个假言命题和一个联言命题作前提,推出一个联言命题作结论的推理。 *

文档评论(0)

1亿VIP精品文档

相关文档