模态命题之间的真假关系。亚里士多德已经知道“必然”可定义为“不可能不”；“可能”可定义为“不必然不”。关于命题的模态，有类似直言命题的对当关系，并可表示为如下方阵：
同时，亚里士多德已知“必然p”与“p”，“p”与“可能p”之间有差等关系。他还把“偶然p”当作“可能p并且可能不p”，“偶然p”等值于“偶然不p”。亚里士多德还研究了各种模态直言命题形式。他指出以下真假关系成立(“→”表示差等关系，“——”表示矛盾关系，“L”表示“必然”，“M”表示“可能”)：
