你的问题有两个：（1）矛盾命题的概念：一个命题,与它的 “否定” 互为矛盾命题.所以：互为矛盾命题的两个命题,必然：既不能同真,也不能同假.　　在模态命题里,“小明必然及格” 和 “小明必然没及格” 确实是不能同...必然及格，可能不及格，必然不及格及格，不及格之间的关系是什么？四类模态命题（必然是、必然非、可能是、可能非）之间的关系，可以用逻辑方阵来表示——逻辑书上都有的。而且这个逻辑方阵，在结构上与直言命题的逻辑方阵完全相同——相对应的四种直言命题分别是：全部是、全部非、有的是、有的非。　　至于模态命题和与之对应的（即去掉模态词之后的）直言命题（如：必然及格与及格）之间的关系，有的书上没说，有的书上是这样说的：　　【必然（非）p】=＞【（非）p】=＞【可能（非）p】；其中 “非” 字要么都有，要么都没有。　　也就是说，【必然（非）p】与【（非）p】之间，以及【（非）p】与【可能（非）p】之间，和【必然（非）p】与【可能（非）p】之间一样，都是 “差等关系”。　　这说明，从【必然（非）p】到【（非）p】，再到【可能（非）p】，是一个肯定（或否定）的程度递减的过程。从程度高的判断，可以推出程度低的判断；反之则不然。