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

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名

邮箱

手机号码

标题

留言内容

验证码

Methods of Constructing Set Member Table to Prove Set Identity

School of Information and Intelligent Engineering, Sanya University, Sanya Hainan 572022

摘要: 利用命题演算排中律、矛盾律思想,结合命题公式真值表方法,提出了集合成员表的构造方法,并以该方法进行集合恒等式的证明。
- 命题演算排中律 /
- 集合成员表 /
- 集合恒等式证明
Abstract: 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.
- Propositional calculus /
- Law of excluded middle /
- Set member table

[1]	张丰,张显才,张小涵,等.2～18GHz 超宽带双脊喇叭天线的设计与实现[J].空军预警学院学报,2020,34(5):382-386.
[2]	陈小波,周冬梅,陈薇,等.一种宽带波束聚焦系统的研究与设计[J].电子世界,2017(22):139-140.
[3]	刘国玺,耿京朝,路志勇.宽频带角锥脊喇叭天线的设计方法[J].无线电通信技术,2005(4):44-45.