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

Methods of Constructing Set Member Table to Prove Set Identity

作　　者：段景辉[1] DUAN Jing-hui(School of Information and Intelligent Engineering,Sanya University,Sanya Hainan 572022)

机构地区：[1]三亚学院信息与智能工程学院,海南三亚572022

出　　处：《数字技术与应用》2021年第1期124-126,共3页Digital Technology & Application

摘　　要：利用命题演算排中律、矛盾律思想,结合命题公式真值表方法,提出了集合成员表的构造方法,并以该方法进行集合恒等式的证明。Based on the idea of the law of excluded middle in propositional calculus,combined with the truth table method of propositional formula,the construction method of set member table is proposed,and the method is used to prove the set identity.

关 键 词：命题演算排中律 集合成员表 集合恒等式证明 

分 类 号：O157[理学—数学]