以及但，应用德摩根定律，以及检验模型中量词的二元性。从而，量词的二元性可进一步延伸到模态逻辑中的方块和菱形算符：在其用于可能性和必然性的真势模态的应用中，亚里士多德注意到该情况，以及在正规模态逻辑的情况中，这些模态算符对量化的关系可借助按关系语义设置模型来理解。</small>