冷设AcP(X),q∈P(X),若对所有使得 v(p)=1(对一切p∈A)的赋值v,都有 v(q)=1,则称q是假设集A的后件,或称 A义蕴含q,记为AFq,用comA表示 的后件全体 conA={p∈P(XAFp 形式证明,给定公理集,MP规则,演绎 定理 命题符号化 分析,问题的化解。 掌握可靠性定理,可满足性定理,完备 性定理的方法❖ 设 AP(X),qP(X) ， 若 对 所 有 使 得 v(p)=1 (对 一切 pA)的赋 值 v，都有 v(q)=1，则称q是假设集A的后件，或称 A语义蕴含q，记为A╞q，用Con(A)表示 A 的 后 件 全 体 ， 即 Con(A)={pP(X)|A╞p}。 ❖ 形式证明，给定公理集，MP规则，演绎 定理 ❖ 命题符号化 ❖ 分析，问题的化解。 ❖ 掌握可靠性定理，可满足性定理，完备 性定理的方法