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

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

对《离散数学》课程集合状态成员表法的探索与思考

《离散数学》是理工科大学生的专业核心课程,而集合论是《离散数学》的基础部分。集合论中的集合代数包含的内容多,其中求一个集合的幂集、证明两个集合相等是非常重要的内容。怎样掌握这些知识点,是许多学生十分关心的问题。本文给出了解决上述问题的通用方法以及集合状态成员表法,并将通用方法与集合状态成员表法进行了对比,分别给出了他们的优劣性。集合状态成员表法是解决相关问题的一种简单的方法,希望本文的研究对学生掌握相关知识点起到一定的促进作用。

集合相等的另一证明法

在集合理论中,证明两个集合相等是一个重要的内容,也是实际应用中经常遇到的一个问题。它繁琐的叙述以及抽象的思维想象,往往让人感到头疼,但应用命题逻辑中的一种构造真值表的方法,来构造集合成员表,应用二进制下的逻辑运算,可有效地解决这个问题。