命题的真假判断与应用