关于“充分必要条件”翻译的反思

英语翻译到中文，常常由浅显的意思翻译的非常之晦涩。

"sufficient and necessary condition"就是其中之一。

论断一 ---> 论断二

下面我从一个例子出发，来说明这个意思。

So if something can run in SIMD, it can run in SIMT, but not necessarily the reverse.

这句英文的意思是”论断一提供了论断二成立的所有条件，而论断一中也有论断二成立不需要的条件，也就是可以有可以没有，也就是不是必须的。“这里的不必要就是连续存储。这里的观测点是“论断一对论断二成立的影响”。

见原网址：https://www.cool3c.com/article/133370

也就是：

run in SIMD ----充分不必要---->run in SIMT.

其中，

SIMD is Single Instruction Multiple Data.

SIMT is Single Instruction Multiple Thread.

充分必要条件的证明：

如果证明充分必要条件，先证明论断一是论断二的子集，即充分性，再证明论断二是论断一的子集，即必要性。