上反對關係的推理規則是由一個命題為真可以推出另一個命題為假，比如“所有的花都是有毒的”為真，那么“所有的花都是無毒的”一定為假。
基本介紹
- 中文名：上反對關係
- 屬性：反對關係
- 內容：兩個命題必有一假，可以同假
- 詞性：名詞
上反對關係
全稱肯定（所有S都是P）和全稱否定（所有S都不是P）就是一對上反對關係。
必然肯定（S必然是P）和必然否定（S必然不是P）也是上反對關係。
舉個例子來說明上反對關係。命題“所有的花是有毒的”與“所有的花都是無毒的”二者是上反對關係，它們不可能同時為真的，但二者可以同假，比如“有些花有毒，有些花無毒”則證明前面兩個命題同假，這時它們就是上反對關係。
但由一個命題為假卻不能推出另一個命題為真。例如由“所有中國人都喜歡喝茶”為真可以得出“所有人都不喜歡喝茶”為假，但由“所有中國人都喜歡喝茶”為假，卻不能得到“所有人都不喜歡喝茶”的真假。
