期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

谓词逻辑等值式在多元谓词的推广

下载PDF
导出
摘要 本文主要对离散数学中的一些只含一个个体变元的谓词逻辑等值式在个体变元多于两个时的简单形式的推广,并加以证明和举例说明,从而可以简化多元谓词问题.
作者 汪展鹏 兰笛 周洁
机构地区 湖南科技大学数学与计算科学学院
出处 《数学学习与研究》 2021年第2期134-135,共2页
关键词 离散数学 多元谓词 等值式 形式推广
分类号 O141.1 [理学—基础数学]
  • 相关文献

参考文献1

二级参考文献1

  • 1Kenneth H Rosen.Discrete Mathematics and Its Ap-plication[]..2003
数学学习与研究
2021年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部