[练习题]一个充分必要条件假言判断是真的，当且仅当。