三、语言蕴含 定义18.7:设AcP(X),q∈P(X),若对所 有使得v(p)=1(对一切p∈A)的赋值v,都 有v(q)=1,则称q是假设集4的后件,或 称A语义火蕴含q,记为AFq,用Con()表 示A的后件全体,即 Con(A)={p∈PCX)AFp} 注意:A是P(X)的子集,但A本身不是命 题公式。 由定义知,对于A中的任意元素p,对所 有使得A中元素的赋值为1的赋值v,都有 v(p)=1,因此 AcCom(A)三、语言蕴含 定义18.7：设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}。 注意：A是P(X)的子集，但A本身不是命 题公式。 由定义知，对于A中的任意元素p，对所 有使得A中元素的赋值为1的赋值v，都有 v(p)=1，因此ACon(A)