溢充分必要条件假言判断既然是断定事物情况之问具有充分必要条件关系的假言判断，那么一个充分必要条件假言判断为真当且仅当( )。