对于“必然P”、“不可能“P”、“可能P”和“可能非P”之间的相互关系，可以用对当逻辑方阵来表示
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