=,iff =,if_and_only_if .AKA, abbr. iff
이하 모두 필요충분조건
L iff A
L if and only if A
(L if A) and (L only if A)
A일때 L이다. 그리고 오직 A일 때만 L이다.
A일때, 그리고 오직 그때만 L이다.
A는 L인 경우 그리고 오직 그 경우에 한한다.
L iff A
L if and only if A
(L if A) and (L only if A)
A일때 L이다. 그리고 오직 A일 때만 L이다.
A일때, 그리고 오직 그때만 L이다.
A는 L인 경우 그리고 오직 그 경우에 한한다.
그리고 INUS조건(7분~):
an insufficient but necesssary part of an unnecessary but sufficient condition
...
inus 조건 
inus 조건
an insufficient but necesssary part of an unnecessary but sufficient condition
...
inus 조건 inus 조건Camel case wikiname 은 IfAndOnlyIf 이건데 c2 페이지 있겠지?
IfAndOnlyIf - Yes.
IfAndOnlyIf - x. 없다 의외? OnceAndOnlyOnce는 있던데
IfAndOnlyIf - Yes.IfAndOnlyIf - x. 없다 의외? OnceAndOnlyOnce는 있던데
if_and_only_if = https://en.wiktionary.org/wiki/if_and_only_if
If_and_only_if = https://simple.wikipedia.org/wiki/If_and_only_if
MKL
같음
동등
동등
상등상등
same
same same same
samenesssameness sameness
equivalenceequivalence equivalence
equality equality
biconditional biconditional 
biconditional } - 분야에 따라 주로 부르는 이름이 다르고 완전 동일한 개념?? chk
양쪽 방향으로 두개의 implication (함의,implication)?
필요충분조건 필충조건 =필요충분조건, =필충조건,
필요충분조건 = https://ko.wikipedia.org/wiki/필요충분조건
필요충분조건 = https://zetawiki.com/wiki/필요충분조건
XNOR / XNOR_gate / XNOR게이트,XNOR_gate - 이거랑 진리표,truth_table가 같은데 관계 정확히 tbw
같음
동등
동등상등
상등same
same same samesameness
sameness samenessequivalence
equivalence equivalenceequivalent adj./v. ?? chk
equality equality equalityequal adj./v. ??? chk
biconditional =,biconditional . { biconditional biconditional biconditional } - 분야에 따라 주로 부르는 이름이 다르고 완전 동일한 개념?? chk양쪽 방향으로 두개의 implication (함의,implication)?
필요충분조건 필충조건 =필요충분조건, =필충조건,
필요충분조건 = https://ko.wikipedia.org/wiki/필요충분조건필요충분조건 = https://zetawiki.com/wiki/필요충분조건XNOR / XNOR_gate / XNOR게이트,XNOR_gate - 이거랑 진리표,truth_table가 같은데 관계 정확히 tbw