#noindex
`=,iff =,if_and_only_if .`
AKA, abbr. '''iff'''
----
from 이해황 https://youtu.be/AiNqEz4yXh4?si=pwCEYuM8NVerxvxR&t=335

이하 모두 [[필요충분조건]]
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
... Naver:"inus 조건" Ggl:"inus 조건"
----

Camel case wikiname 은 IfAndOnlyIf 이건데 c2 페이지 있겠지?
Wiki:IfAndOnlyIf - Yes.
NoSmoke:IfAndOnlyIf - x. 없다 의외? NoSmoke:OnceAndOnlyOnce 는 있던데

[[WtEn:if_and_only_if]] = https://en.wiktionary.org/wiki/if_and_only_if
 Hypernym: [[논리연결사,logical_connective]]

[[WpSp:If_and_only_if]] = https://simple.wikipedia.org/wiki/If_and_only_if

[[WpEn:If_and_only_if]] = https://en.wikipedia.org/wiki/If_and_only_if
 ↔⟺⇔ redirects here.
  // chk: WpEn:↔ WpEn:⟺ WpEn:⇔
  // chkout wten too: WtEn:↔ WtEn:⟺ WtEn:⇔
 [[수학,math]] esp [[로직,logic]]([[논리,logic]]/[[논리학,logic]])

----
MKL
같음
동등 KmsK:동등 
상등 KmsK:상등 
same NdEn:same WtEn:same NdEn:same
sameness NdEn:sameness WtEn:sameness 
equivalence NdEn:equivalence WtEn:equivalence
 equivalent adj./v. ?? chk
equality NdEn:equality WtEn:equality
 equal adj./v. ??? chk
[[biconditional]] =,biconditional . { WtEn:biconditional Ggl:biconditional Ndict:biconditional } - 분야에 따라 주로 부르는 이름이 다르고 완전 동일한 개념?? chk
양쪽 방향으로 두개의 [[implication]] ([[함의,implication]])?
[[필요충분조건]] 필충조건 =필요충분조건, =필충조건,
[[WpKo:필요충분조건]] = https://ko.wikipedia.org/wiki/필요충분조건
[[Zeta:필요충분조건]] = https://zetawiki.com/wiki/필요충분조건
[[XNOR]] / [[XNOR_gate]] / [[XNOR게이트,XNOR_gate]] - 이거랑 [[진리표,truth_table]]가 같은데 관계 정확히 tbw

----
[[영어,English]] [[구,pharse]]?