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

作者：汪展鹏; 兰笛; 周洁

来源：数学学习与研究, 2021, (02): 134-135.

• 离散数学
• 多元谓词
• 等值式
• 形式推广

本文主要对离散数学中的一些只含一个个体变元的谓词逻辑等值式在个体变元多于两个时的简单形式的推广,并加以证明和举例说明,从而可以简化多元谓词问题.

• 单位
  湖南科技大学