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