L_系统中由单个原子生成的公式的真值函数的特征.pdfVIP

第 卷 第 期 工 程 数 学 学 报 年 月 , , 文章编号 一 一 一 系统 中由单个原子生成 的公式 的真值 函数 的特征 任 芳 陕西师范大学数学与信息科学学院, 西安 摘 要 本文 以 ‘ 系统为背景 , 针对 由单个原子生成 的公式 , 解 决 了王 国俊教授在文 中提 出的函数决 。 定公式 的 问题 即满足什么 条件 的函数可 由逻辑公式导 出, 或逻辑公式 的真值 函数 的特征如何 进而按照逻辑等价 的关系将 由单原子生成 的公式集进行细致 的分类 。 ‘ 关键词 系统 逻辑 公式 真值 函数 分类号 中图分类号 一 文献标识码 引言 , , , , , , , , 定义 设 二 。 … 是 无 穷集 , 是 一 元 运 算 是 二 元 运 算 由 生成 的 自由代数记 为 , 中的元素称 为逻辑 公式或简称 为 公式 , 中的元素称 为原子 公式或简称 为原子 。 , , 二 , , , , 当赋值 格 为