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

• 作者: 段景辉
• 来源期刊: 数字技术与应用
• 关键词: 命题演算排中律 集合成员表 集合恒等式证明
• 年，卷（期）: 2021,（1）
• 所属期刊栏目: 算法分析
• 页码范围: 124-126
• 页数: 3页
• 分类号: O157
• 语种: 中文
• DOI: 10.19695/j.cnki.cn12-1369.2021.01.38

摘要

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