The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others are original to this work.
翻译:本文提出了一种证明逻辑联结词相互不可定义性的新技术,并通过多个实例阐释了该方法。部分成果为现有定理提供了新证明,另一些则属于本研究原创。