定义202:设X是可列集,X上的自由T (=({F,→},ar))代数称为X上关于命题 演算的命题代数,记为PX),并称X为 命题变量集,X中的元素称为命题变元, P(X)中的每个元素称为命题演算的合式 公式,简记为wf,仅由一个命题变元符 组成的合式公式称为原子公式,所有原 子公式全体称为原子公式集。定义20.2:设X是可列集，X上的自由T （ =({F,→},ar) ）-代数称为X上关于命题 演算的命题代数，记为P(X)，并称X为 命题变量集，X中的元素称为命题变元， P(X)中的每个元素称为命题演算的合式 公式，简记为wff，仅由一个命题变元符 组成的合式公式称为原子公式，所有原 子公式全体称为原子公式集