命题,充分必要条件(精)