大学逻辑学第3章-命题逻辑1.pptVIP

某公司要给雇员涨工资，有以下两个方案： 方案一：初始工资是年薪10000元，每干满一年增加2000元。 方案二：初始工资是年薪10000元，每干满半年增加500元。 如果你是该公司的雇员，你选择哪种方案？ 这道题目告诉我们，直觉有时是多么的不可靠。 恐怕大多数人凭直觉都会选择“就职期每满一年加薪2000元”的方案，而不会考虑“就职期每满半年加薪500元”的方案。他们最直接的想法可能是：就职期满半年加薪500元，意味着就职期满一年后加薪1000元。这当然不如就职期满一年后加薪2000元。 事实情况却完全不是这样。 假设甲选择就职期每满一年加薪2000元的方案，乙选择就职期每满半年后加薪500元的方案。我们来看看两人工作头两年的薪水状况： 甲第一年的年薪是10000元，第二年的年薪是12000元。 乙第一年上半年的薪水是5000元，下半年的薪水是5500元，第二年上半年的薪水是6000元，下半年的薪水是6500元。这样，乙第一年的年薪是10500元，第二年的年薪是12500元。 以此推算，显然，和甲相比，乙的年薪每年要多出500元！ Be careful of intuition with which God sometimes helps you and sometimes cheats you. 4 一般复合命题真值形式 真值联结词和真值形式 前面定义的几个联结词： “?”、“∧”、“∨”、“→”、“?”，这五个是基本联结词。 这样的联结词，只反映命题真值关系，称为真值联结词。 由一个命题变项定义的真值联结词，称为一元真值联结词；由两个命题变项定义的是二元真值联结词，n个命题变项定义的是n元真值联结词。 n元真值联结词共 个(后面有说明) 。一元联结词共4个；二元联结词共16个，以此类推。 任一真值联结词都可以用基本真值联结词定义（逻辑系统中需求的最少联结词个数可以得到证明，5个基本联结词中可以选最少两个独立联结符）。 由这些联结词按规则构造的命题，称为一般复合命题。 4种一元联结词的情况 p=1 p=0 第一种 1 1 第二种 1 0 第三种（?） 0 1 第四种 0 0 16种二元联结词的情况 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 p=1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 p=0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 q=1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 q=0 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 例 ： 当“风格”与“逼真”可以兼容时，人们说这是“神似”而不只是“形似”；当“风格”和“逼真”不能兼容时，“风格”经常求助于“个性”来建立自己的合法性。 用p表示：“风格”与“逼真”可以兼容； 用q表示：作品与对象“神似”； 用r表示：作品与对象“形似”； 用s表示： “风格”经常求助于“个性”来建立自己的合法性。 练习：一个翻译问题： 如果周末天晴，则举行校运动会；否则， P q 举行校歌咏比赛。 r 以下哪式是上述命题的正确符号化？ (p→q）∧（?p→r） (p→q）∨（?p→r） 让我们算一算吧！ 如果事实情况是： 第一，周末确实天晴（p= 1）； 第二，周末校运动会未举行（q = 0）； 第三，校歌咏比赛举行了（r = 1）。 在这样的事实条件下， 如果周末天晴，则举行校运动会；否则，举行校歌咏比赛。 这一命题显然是假的。 让我们算一算在上述条件（p =1；q = 0；r = 1）下以下两式的真值： (p→q）∧（?p→r） (p→q）∨（?p→r） p q r (p→q）∧（?p→r） (p→q）∨（?p→r） 1 0 1 0 1 关于上述计算,以下哪项表述是准确的？ 上述计算能说明，①式是对的，②式是错的。 上述计算能说明，②式是错的，但不能说明①式是对的。 正确:(p→q