为阅读和构造证明而必须掌握的若干基本 逻辑要素一一形式化 ·基本元素： ·命题及其命题变元p ·逻辑连接符及其逻辑含义 ·特殊的命题表达式 ·重言式（永真式）、矛盾式（永假式）、可能式： ·逻辑等价 ·谓词与变元 ·量词为阅读和构造证明而必须掌握的若干基本 逻辑要素——形式化 • 基本元素： • 命题及其命题变元p • 逻辑连接符及其逻辑含义 • 特殊的命题表达式 • 重言式（永真式）、矛盾式（永假式）、可能式； • 逻辑等价 • 谓词与变元 • 量词