命题的真假判断、充分条件与必要条件