题型一 命题符号化 找出简单命题 选择联结词 确定谓词、量词 题型二 求命题的真值与命题公式的赋值 真值表法 题型三 判断公式的类型 真值表法 范式法 题型四 推理