2.2.2命题的真假和定理