邏輯正方形

“必然P”、“非必然P”、“可能P”、：可能非P“，這四種模態判斷之間的關係，也可以用同樣的邏輯方陣來表示。