逻辑学复合命题.pptxVIP

第三章复合命题;命题非模态命题模态命题简单命题;例1.不满10周岁的人是无民事;逻辑学;命题变项范例把支命题联结起来的;01根据命题联结词不同，复合命;三、复合命题的种类及其特征（一;现代逻辑一般用“∧”表示，读作;p∧q的真值表：pqp∧qT;（二）选言命题1、概念：选言命;根据选言支之间关系的不同，又可;P或者q用析取式表示为：P∨;P∨q的真值表：P∨qqpTT;4、不相容选言命题（1）不相容;现代逻辑中一般用“∨”，读作“;二支不相容选言命题的真值表：;所谓选言支穷尽，就是指选言命题;假言命题假言命题：陈述某一事物;支命题假言联结词前件12365;3、充分条件假言命题逻辑特征有;在自然语言中，表达充分条件假言;充分条件假言命题的逻辑特征：0;p→q的真值表：pqp→qT;有之未必然，无之比不然。只有各;在自然语言中，表达必要条件假言;必要条件假言命题的逻辑特征：0;P←q的真值表：pqP←q;有前件必有后件，无前件必无后件;Pq自然语言中;充分必要条件假言命题的逻辑特征;pq的真值表：pqTTTTT;（四）负命题及其等值命题负命题;即﹁p如果用p表示支命题;3241负命题负命题的逻辑特征;﹁p的真值表：﹁ppTFFT;基本真值联结词：﹁、∧、∨、→;在这些基本的真值联结词中，（;这个命题的真值形式：;（二）真值形式的种类及其判定1;例如：;真值形式的判定2、真值形式的判;第三节复合命题推理推理概;推理01.｛01.演绎推理01;01非演绎推理05假设演绎推理;（三）推理的形式有效性当前提真;A.如果甲作案，那么他一定有作;01命题推理有效性的判定标准：;包括：分解式和组合式联言推理;推理形式：p并且q所以，p或p;法律具有阶级性和客观性，所以，;STEP5STEP4STEP3;建设社会主义市场经济是实现现代;选言推理选言推理：前提中有一个;否定肯定式：P或者q非P;这支灯管不亮或者是由于没有电，;2、不相容选言推理不相容选言推;①肯定否定式：要么P，要么q;②否定肯定式;要么武松打死老虎，要么老虎吃掉;假言推理：前提中有一个假言命题;根据充分条件假言命题的逻辑特征;肯定前件式：如果P，那么q如：如果天下;否定后件式：如果P，那么q非q;例如???如果天下雨，那么地面湿，;肯定后件否定前件必要条件假言推;有效推理形式：（1）否定前件式;010203只有年满18周岁，;（2）肯定后件式：只有P，才q;他有选举权；;3、充分必要条件假言推理充分必;肯定前件式：有效推理形式：P;Pq1﹁p2∴﹁;（3）肯定后件式：P当且仅当;Pq﹁q1∴﹁p2;由两个假言命题和一个二支选言命;01A.简单构成式02p→r0;B.简单破坏式01p→r03∴;所以，某人没有犯抢劫罪。如果某;C.复杂构成式01r→s03∴;如果他的意见正确的，那么你应当;D.复杂破坏式p→qr→s∴;概念命题逻辑的自然推理确定一些;推导规则：蕴涵消去规则即分离规;01析取引入规则（∨+）：02;A假言三段论规则（H．S）：B;双否引入规则（﹁﹁+）：01从;规则D：如果从命题A能推出命题;等值替换规则：01交换律：02;德摩根律：﹁(p∧q)≡﹁p∨;2p→q≡﹁p∨q3假言易位：;实质等值律：p?q≡(p→q);例1：0101020304(p;下列公式中，与P∧Q等值的有;要么C作案，那么B作案01如果;例2、某博物馆被盗走一件珍贵文;例3.在一起凶杀案中，侦查人员;例4.在一起案件中，公安人员掌;例5.在一起集团作案中，侦查人