定义18.2设X是可列集,X上的自由T-代数称为X上关于命题.pptVIP

* * * * * * * * * * 定义18.2:设X是可列集，X上的自由T-代数称为X上关于命题演算的命题代数，记为P(X)，并称X为命题变量集，X中的元素称为命题变元，P(X)中的每个元素称为命题演算的合式公式，简记为wff，仅由一个命题变元符组成的合式公式称为原子公式，所有原子公式全体称为原子公式集。 在任何命题代数中，可利用F和→定义一元运算?和其它二元运算?,?,?，定义为： (?p)?(?q)可简写为?p??q。 运算的优先次序排列为： ? ? ? → ? 在相同优先级的运算之间，先左后右。 §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。 定义18.4:设v0为X→Z2的映射，称v0为命题变元的一个指派。 v(p→q)=v(p)→v(q)=1+v(p)(1+v(q)) =1+v(p)+v(p)v(q)； v(?p)=v(p→F)=v(p)→v(F)=1+v(p)(1+v(F)) =1+v(p)(1+0)=1+v(p)； v(p?q)=v(?p→q)=v(?p)→v(q) =1