又因为不存在赋值v使得v(F≤{1},所以 对任意的p∈P(X)总有p∈Con(F) 即对任意qEP(X,有{Fq 定义188:设p∈P(X),若对P(X)的任意赋 值v都有vp)=1,则称p是有效的,也称 为重言式。若对P(X)的任意赋值v都有 v(p)=0,则称p是永假式。 因此若必Fp,则p就是重言式,简记为 注意AFp是命题逻辑元语言中的陈述句, 但它本身不是P(X)中的元素。又因为不存在赋值v使得v(F){1}，所以 对任意的pP(X)总有pCon(F)。 即对任意qP(X)，有{F}╞q。 定义18.8:设pP(X)，若对P(X)的任意赋 值v都有v(p)=1，则称p是有效的，也称 为重言式。若对P(X)的任意赋值v都有 v(p)=0，则称p是永假式。 因此若╞p，则p就是重言式，简记为 ╞p 注意A╞p是命题逻辑元语言中的陈述句， 但它本身不是P(X)中的元素