话题
搜索

伊夫


当且仅当(即。,必要的足够的). 有时会使用“刚好如果”或“确切时间”来代替。A类若(iff)B类符号性地写为A<->BA<=>BA<->B,或A<==>B.A类若(iff)B类也相当于A=>B与一起B=>A其中符号=>表示“暗示。”其他等效术语为A类相等的B类" (A=B)和“A类 XNOR公司 B类."

J.H。康韦认为,这个词起源于P.Halmos,并通过凯利(1955,P.232)传播,凯利在那里写道“F类x个如果有一个邻居x个每个图像下的图像F类很小。

哈尔莫斯说:“据我所知,我发明了这个愚蠢的东西,但我不会在法庭上发誓。所以,给我一个荣誉无论如何”(D.Asimov,pers.comm.,1997年9月19日)。


另请参见

至少一个等价物正好一个暗示必要足够XNOR公司

与Wolfram一起探索| Alpha

新型网络搜索引擎

更多需要尝试的事情:

工具书类

阿西莫夫,D.“Iff”math-fun@cs.arizona.edu1997年9月19日发布。凯利,J.L。概述拓扑结构。纽约:斯普林格·弗拉格出版社,1955年。J.A.辛普森。和Weiner,E.S。C、。(编制人)。这个简明牛津英语词典,第二版。英国牛津:克拉伦登出版社,第812页(波段7,第636页),1992年。

参考Wolfram | Alpha

伊夫

引用如下:

埃里克·W·韦斯坦。“Iff.”来自数学世界--一个Wolfram Web资源。https://mathworld.wolfram.com/Iff.html

主题分类