§3命题演算的语义 、P(X)的赋值 定义20.3:设P(X是X上关于命题演算的命 题代数,称P(X)→Z2的同态映射v为P(X)的 值。对于任意的p∈P(X),若vp)=1则称 p按败值为萇,若vp)=0则称p按赋值为 。 定理20,1设A为命题代数,v为X→A的映 射,则v可唯一扩张为PX)A的同态映 射v§3 命题演算的语义 一、P(X)的赋值 定义20.3:设P(X)是X上关于命题演算的命 题代数，称P(X)→Z2的同态映射v为P(X)的 赋值。对于任意的pP(X)，若v(p)=1则称 p按赋值v为真，若v(p)=0则称p按赋值v为 假。 定理20.1:设A为命题代数，v0为X→A的映 射，则v0可唯一扩张为P(X)→A的同态映 射v