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