话题
搜索

伊夫


当且仅当(即。,必要的足够的). 有时会使用“刚好如果”或“确切时间”来代替。A类若(iff)B类符号性地写为A<->B,A<=>B,A<->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·阿西莫夫,《大众通讯》,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

伊夫

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“Iff.”来自数学世界--A类Wolfram Web资源。https://mathworld.wolfram.com/Iff.html

主题分类