一种构造集合成员表证明集合恒等式的方法

作者：段景辉

来源：数字技术与应用, 2021, 39(01): 124-126.

DOI：10.19695/j.cnki.cn12-1369.2021.01.38

• 命题演算排中律
• 集合成员表
• 集合恒等式证明

利用命题演算排中律、矛盾律思想,结合命题公式真值表方法,提出了集合成员表的构造方法,并以该方法进行集合恒等式的证明。

• 单位
  三亚学院