否定肯定式:p或者q 非 所以 或者q或者r 非 所以q或者r 不相容选言命题是由“要么……要么……”这类联结词和支命题形成的 (6)要么玉碎,要么瓦全 有一个支命题为真且只有一个支命题为真时不相容选言命题的真值命题为真。 不相容选言推理的有效形式 1否定肯定式:要么p要么q 非 所以q 要么p要么q要么r 非p,非 所以 2肯定否定式:要么p要么q 所以非q 要么p要么q要么r 所以非q非 四假言命题 假言命题亦称条件命题表示条件的命题叫前件,表示结果的叫后件。它是有条件的反映某种情况存 在的命题。它因条件的不同可分为三种:充分条件假言命题、必要条件假言命题、充要条件假言命题 充分条件假言命题及其推理 充分条件假言命题是反映一事物情况是另一事物情况充分条件的命题。它的典型联结词是“如果… (7)如果我当总理,那么就任命你当财政部长 (8)人心齐,泰山移。 充分条件假言命题的真值取决于它的前件是否是它的后件的充分条件。只有前件真后件假时,它才 充分条件假言推理是根据充分条件假言命题的逻辑性质进行推演的推理。它的有效式是 背定前件式 否定后件式 如果p那么q 如果p那么q 非 所以q 所以非p 如果我考上了硕士研究生,我请你吃饭。我考上了硕士研究生。所以我请你吃饭。 例5 如果有严重的贪污行为,那就会犯罪。他没有犯罪。所以,他没有严重的贪污行为。 下面的两种形式是无效的:否定前件式,肯定后件式 如果p那么q 如果p那么q否定肯定式：p 或者 q 非 p 所以 q p 或者 q 或者 r 非 p 所以 q 或者 r 不相容选言命题是由“要么……要么……”这类联结词和支命题形成的。 （6） 要么玉碎，要么瓦全。 有一个支命题为真且只有一个支命题为真时不相容选言命题的真值命题为真。 不相容选言推理的有效形式 1 否定肯定式：要么 p 要么 q 非 p 所以 q 要么 p 要么 q 要么 r 非 p，非 q 所以 r 2 肯定否定式：要么 p 要么 q p 所以 非 q 要么 p 要么 q 要么 r p 所以非 q 非 r 四 假言命题 假言命题亦称条件命题,表示条件的命题叫前件,表示结果的叫后件。它是有条件的反映某种情况存 在的命题。它因条件的不同可分为三种：充分条件假言命题、必要条件假言命题、充要条件假言命题。 1 充分条件假言命题及其推理 充分条件假言命题是反映一事物情况是另一事物情况充分条件的命题。它的典型联结词是“如果… 那么…”。 （7） 如果我当总理，那么就任命你当财政部长。 （8） 人心齐，泰山移。 充分条件假言命题的真值取决于它的前件是否是它的后件的充分条件。只有前件真后件假时，它才 是假的。 充分条件假言推理是根据充分条件假言命题的逻辑性质进行推演的推理。它的有效式是： 肯定前件式 否定后件式 如果 p 那么 q 如果 p 那么 q P 非 q 所以 q 所以 非 p 例4 如果我考上了硕士研究生，我请你吃饭。我考上了硕士研究生。所以我请你吃饭。 例5 如果有严重的贪污行为，那就会犯罪。他没有犯罪。所以，他没有严重的贪污行为。 下面的两种形式是无效的：否定前件式，肯定后件式。 如果 p 那么 q 如果 p 那么 q