基本命题formula_3, "formula_4"的任意命题算符formula_15的对偶定义为：该概念可以推广到逻辑量词上，例如全称量词和存在量词互为对偶：为对德摩根定律叙述这些量词的二元性，设置一个在其域formula_27中具有少量元素的模型，例如则以及但，应用德摩根定律，以及检验模型中量词的二元性。从而，量词的二元性可进一步延伸到模态逻辑中的方块和菱形算符：在其用于可能性和必然性的真势模态的应用中，亚里士多德注意到该情况，以及在正规模态逻辑的情况中，这些模态算符对量化的关