上反對關係

上反對關係的推理規則是由一個命題為真可以推出另一個命題為假，比如“所有的花都是有毒的”為真，那么“所有的花都是無毒的”一定為假。

基本介紹

• 中文名：上反對關係
• 屬性：反對關係
• 內容：兩個命題必有一假，可以同假
• 詞性：名詞

上反對關係

命題的邏輯關係主要有三種：矛盾、推出和反對，其中反對關係又分為上反對和下反對。上反對是指兩個命題不能同真，必有一假，可以同假；下反對是指兩個命題不能同假，必有一真，可以同真。

全稱肯定（所有S都是P）和全稱否定（所有S都不是P）就是一對上反對關係。

必然肯定（S必然是P）和必然否定（S必然不是P）也是上反對關係。

舉個例子來說明上反對關係。命題“所有的花是有毒的”與“所有的花都是無毒的”二者是上反對關係，它們不可能同時為真的，但二者可以同假，比如“有些花有毒，有些花無毒”則證明前面兩個命題同假，這時它們就是上反對關係。

但由一個命題為假卻不能推出另一個命題為真。例如由“所有中國人都喜歡喝茶”為真可以得出“所有人都不喜歡喝茶”為假，但由“所有中國人都喜歡喝茶”為假，卻不能得到“所有人都不喜歡喝茶”的真假。