为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化 *基本元素： *命题及其命题变元p *逻辑连接符及其逻辑含义 *特殊的命题表达式 *可能式、永真式、永假式； *逻辑等价 *谓词与变元 *量词为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化  基本元素：  命题及其命题变元p  逻辑连接符及其逻辑含义  特殊的命题表达式  可能式、永真式、永假式；  逻辑等价  谓词与变元  量词