例如：
(1)经济过热必然导致通货膨胀。
(2)张三必然考不上大学。
(3)他可能对我有看法。
(4)强盗的儿子可能不是强盗。
上例中的(1)是必然肯定命题，(2)是必然否定命题，(3)是可能肯定命题，(4)是可能否定命题。
必然肯定命题的一般公式是“必然p”。
必然否定命题的一般公式是“必然非p”。
可能肯定命题的一般公式是“可能p”。
可能否定命题的一般公式是“可能非p”。
模态命题“必然p”、“必然非p”、“可能P”、“可能非p”在真假方面存在着必然性的制约关系。其中，“必然P”与“可能非p”之间、“必然非p”与“可能p”之间具有矛盾关系，“必然P”与“必然非p”之间具有反对关系，“可能p”与“可能非p”之间具有下反对关系，“必然p”与“可能P”之间、“必然非p”与“可能非p”之间具有从属关系。上述关系可以用一个正方图形来表示，该图形被称为模态方阵。即：
二、模态推理
根据模态方阵中的矛盾关系，可以从一个模态命题为真推出与这个模态命题具有矛盾关系的命题为假，也可以从一个模态命题为假推出与这个模态命题具有矛盾关系的命题为真。一个模态命题与其具有矛盾关系的命题的否定可以互相推出。具体来说，
“必然p”与“并非可能非p”可以互相推出。
“必然非p”与“并非可能p”可以互相推出。
“可能p”与“并非必然非p”可以互相推出。
“可能非p”与“并非必然p”可以互相推出。
这就是说，一个模态命题的负命题等值于与该模态命题具有矛盾关系的命题。即：
“并非必然p”等值于“可能非p”。
“并非必然非p”等值于“可能p”。
“并非可能p”等值于“必然非p”。
“并非可能非p”等值于“必然p”。
例如，“并非强盗的儿子必然是强盗”等值于“强盗的儿子可能不是强盗”。一个事件的发生不具有必然性，它的不发生当然也就具有可能性，一个事件的不发生具有可能性，它的发生就不具有必然性。
根据模态方阵中的反对关系，可以从一个模态命题为真推出与该模态命题具有反对关系的命题为假。
根据模态方阵中的下反对关系，可以从一个模态命题为假推出与该模态命题具有下反对关系的命题为真。
