1.2 真值表、公式分类、命题定律、代入置换