1 复合命题和其推理.ppt

1 复合命题及其推理; 命题是反映思维对象的思想形态。 思想是用语言表达的，命题的语言形式是陈述句。 命题的真假。 命题的种类：简单命题和复合命题。 ;1.1 复合命题; p;1．12 选言命题 ; p;（二）不相容选言命题 不相容选言命题是陈述选言支中有而且仅有一真的选言命题。 具有两个选言支的不相容选言命题，其命题形式为： 要么p要么q p q （p 严格析取 q ）; p;1．13 假言命题 假言命题是陈述某一事物情况是另一事物情况的条件的命题。 假言命题由两个支命题组成，其中位于前面表示条件的支命题叫做前件，位于后面表示依赖条件而成立的支命题叫做后件。 ;（一）充分条件假言命题 充分条件假言命题是指前件是后件的充分条件的假言命题。充分条件是指：前件（p）存在，后件（q）必存在，即有p必有q。 如果p，那么q p ? q （p 蕴涵 q ）; p;（二）必要条件假言命题 必要条件假言命题是指前件是后件的必要条件的假言命题。必要条件是指：前件（q）不存在，后件（q）必不存在，即无q必无q。 只有p，才q p ? q （p 逆蕴涵 q ） ; p;充分条件命题与必要条件命题之间的转换 1.“如果p，那么q ”等值于“只有q，才p ” （p ? q）? （q ? p） 2.“只有p，才q ”等值于“如果非p，那么非q ” （p ? q） ? （ ? p ? ? q）;（三）充分必要条件假言命题 充分必要条件假言命题是指前件是后件的充分必要条件的假言命题。充分必要条件就是同时具有充分条件和必要条件的含义，即前件（P）存在，后件（q）必存在；前件（p）不存在，后件（q）必不存在。 p当且仅当q p ? q （p 等值 q ）; p;1．14负命题 负命题是否定一个命题所得到的命题。 命题形式为： 并非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那么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 ? p ;1．2 复合命题的推理 ;1．21 联言推理 联言推理就是前提或结论为联言命题，并根据联言命题的逻辑性质进行推演的复合命题推理。 1．分解式 p并且q p并且q 所以，p 或 所以，q （p ? q）? p （p ? q）? q 2．合成式 P q （ p，q） ? p ? q 所以，p并且q ;1．22选言推理 选言推理是前提中有一个选言命题，并根据选言命题的逻辑性质进行推演的复合命题推理。 （一）相容选言推理 相容选言推理是以相容选言命题为前提进行推演的选言推理。 相容选言推理有以下两条规则： （1）否定一部分选言支就要肯定另一部分选言支。 （2）肯定一部分选言支不能否定另一部分选言支。 ; 否定肯定式 p或者q