一、什么事模态命题
模态判断是陈述事物情况的必然性或可能性的判断。在语言表达上，表示模态的词有：“可能”、“必然”等。
模态命题可分为两类。
第一类为可能命题，也叫或然命题，反映事物情况可能性的命题。又分为可能肯定和肯可能否定命题。如河流可能会干涸。今年冬天可能不会下雪。
第二类为必然命题。反映事物情况必然性的命题。又可分为必然肯定命题和必然否定命题。如台湾必然会回到祖国的怀抱。冬天到了，春天必然不会太遥远。
二、模态命题之间的关系
对于“必然P”、“不可能“P”、“可能P”和“可能非P”之间的相互关系，可以用对当逻辑方阵来表示(图1)，辅助记忆。
1、矛盾命题
(1)必然P→并非可能非P，并非必然P→可能非P;
(2)可能P→并非必然非P，并非可能P→必然非P;
(3)必然非P→并非可能P，并非必然非P→可能P;
(4)可能非P→并非必然P，并非可能非P→必然P;
2、反对及下反对命题
(1)必然P→并非必然非P，必然非P→并非必然P;
(2)并非可能P→可能非P，并非可能非P→可能P;
3、充分条件
(1)必然P→可能P;并非可能P→并非必然P;
(2)必然非P→可能非P，并非可能非P→并非必然非P。
