定义182设X是可列集,X上的自由T代 数称为X上关于命题演算的命题代数,记 为P(X),并称X为命题变量集,X中的元 素称为命题变元,P(X)中的每个元素称 为命题演算的合式公式,简记为业,仅 由一个命题变元符组成的合式公式称为 原子公式,所有原子公式全体称为原子 公式集。定义18.2:设X是可列集，X上的自由T-代 数称为X上关于命题演算的命题代数，记 为P(X)，并称X为命题变量集，X中的元 素称为命题变元，P(X)中的每个元素称 为命题演算的合式公式，简记为wff，仅 由一个命题变元符组成的合式公式称为 原子公式，所有原子公式全体称为原子 公式集