为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化 *基本操作： *符号化自然语言表达的命题 *精确表达 *进行有效的推理，得到正确的结论 *正确推理 *进行高效的、可验证的证明 *证明方法为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化  基本操作：  符号化自然语言表达的命题  精确表达  进行有效的推理，得到正确的结论  正确推理  进行高效的、可验证的证明  证明方法