你的問題有兩個：（1）矛盾命題的概念：一個命題,與它的 “否定” 互為矛盾命題.所以：互為矛盾命題的兩個命題,必然：既不能同真,也不能同假.　　在模態(tài)命題里,“小明必然及格” 和 “小明必然沒及格” 確實是不能同...必然及格，可能不及格，必然不及格及格，不及格之間的關(guān)系是什么？四類模態(tài)命題（必然是、必然非、可能是、可能非）之間的關(guān)系，可以用邏輯方陣來表示——邏輯書上都有的。而且這個邏輯方陣，在結(jié)構(gòu)上與直言命題的邏輯方陣完全相同——相對應(yīng)的四種直言命題分別是：全部是、全部非、有的是、有的非。　　至于模態(tài)命題和與之對應(yīng)的（即去掉模態(tài)詞之后的）直言命題（如：必然及格與及格）之間的關(guān)系，有的書上沒說，有的書上是這樣說的：　　【必然（非）p】=＞【（非）p】=＞【可能（非）p】；其中 “非” 字要么都有，要么都沒有。　　也就是說，【必然（非）p】與【（非）p】之間，以及【（非）p】與【可能（非）p】之間，和【必然（非）p】與【可能（非）p】之間一樣，都是 “差等關(guān)系”?！　∵@說明，從【必然（非）p】到【（非）p】，再到【可能（非）p】，是一個肯定（或否定）的程度遞減的過程。從程度高的判斷，可以推出程度低的判斷；反之則不然。