搜索筛选:
搜索耗时3.0175秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：汪展鹏 兰笛 周洁,
来源：数学学习与研究 年份：2021
【摘要】本文主要对离散数学中的一些只含一个个体变元的谓词逻辑等值式在个体变元多于两个时的简单形式的推广，并加以证明和举例说明，从而可以简化多元谓词问题. 【关键词】离散数学;多元谓词;等值式;形式推广 引 言 由于命题逻辑的局限性，有些命题在命......
相关搜索：
