請(qǐng)教個(gè)邏輯學(xué)概念：上反對(duì)，下反對(duì)關(guān)系如題

上反對(duì)關(guān)系命題的邏輯關(guān)系主要有三種：矛盾、推出和反對(duì)，其中反對(duì)關(guān)系又分為上反對(duì)和下反對(duì)。上反對(duì)是指兩個(gè)命題必有一假，可以同假；下反對(duì)是指兩個(gè)命題必有一真，可以同真。舉個(gè)例子來(lái)說(shuō)明上反對(duì)關(guān)系。命題“所有的花是有毒的”與“所有的花都是無(wú)毒的”二者是不可能同時(shí)為真的，但由于矛盾為必有一真一假，而二者可以同假，比如“有些花有毒，有些花無(wú)毒”則證明前面兩個(gè)命題同假，這時(shí)它們就是上反對(duì)關(guān)系。上反對(duì)關(guān)系的推理規(guī)則是由一個(gè)命題為真可以推出另一個(gè)命題為假。但由一個(gè)命題為假卻不能推出另一個(gè)命題為真。例如由“所有中國(guó)人都喜歡喝茶”為真可以得出“所有人都不喜歡喝茶”為假，但由“所有人都喜歡喝茶”為假，卻不能得到“所有人都不喜歡喝茶”的真假

上反對(duì)：全肯和全否下反對(duì)：特肯和特否