你的问题有两个：（1）矛盾命题的概念：一个命题,与它的“否定”互为矛盾命题.所以：互为矛盾命题的两个命题,必然：既不能同真,也不能同假.在模态命题里,“小明必然及格”和“小明必然没及格”确实是不能同...

　　必然及格，可能不及格，必然不及格及格，不及格之间的关系是什么？

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