命题的妙真假值及推理