论文部分内容阅读
本文在Ｓｈｏｈａｍ给出的择优模和择优蕴涵概念的基础上，进一步研究了择优逻辑的单调性。首先，讨论了逻辑的若干基本性质，并给出了单调性的一个充分条件；其次，证明了单调性与上律等价，并给了单调性的一个更为简洁的充要条件；最后，讨论了解释集合是归纳集合是归纳集时的单调性，证明的单调性与择优蕴涵的退化等价。这些结果，提示了择优蕴涵、传统蕴涵、单调性、反证律之间的关系。