谈谈“只有,才”

在形式逻辑的判断理论中,判断的分类占有重要地位。逻辑学界通常把假言判断分为充分条件假言判断、必要条件假言判断和充分必要条件(简称充要条件)假言判断;假言判断由前件、后件和联接词三部分组成,不同的联接词分别表达不同的假言判断。“如果,那么”是典型的表达充分条件的联接词,这是大家公认的;至于什么是典型的表达必要条件和充要条件的联接词,那就众说纷纭了。几乎所有的逻辑教材和专著都把“当且仅当”做为典型的表达充要条件的联接词。有一位同行说:“在现代数学和数理逻辑上。