발음 /ɪ'kwɪvələns/ [[이퀴벌런스,equivalence]]정도.

Sub:
[[행동치,row_equivalence]] - [[VG:행동치,row_equivalence]]
[[동치관계,equivalence_relation]] ([[관계,relation]])
=동치관계,equivalence_relation =,equivalence_relation 동치관계 equivalence_relation
{

is_a [[관계,relation]]

KmsK:동치관계 - 확인. Sub: [[퍼지동치관계,fuzzy_equivalence_relation]] =퍼지동치관계,fuzzy_equivalence_relation =,fuzzy_equivalence_relation 퍼지동치관계 fuzzy_equivalence_relation
 {
 '''fuzzy equivalence relation'''
 WtEn:fuzzy_equivalence_relation x 2024-03
} // fuzzy equivalence relation ... Naver:"fuzzy equivalence relation" Bing:"fuzzy equivalence relation" Ggl:"fuzzy equivalence relation"


Ndict:동치관계

Bing:동치관계+정의
Naver:동치관계+정의
Ggl:동치관계+정의

WtEn:equivalence_relation

----
Namu:동치관계

Libre:동치관계

WpKo:동치관계

[[VG:동치관계,equivalence_relation]]


Up: [[동치,equivalence]], [[관계,relation]] > [[이항관계,binary_relation]]
}
----
[[범주,category]]의 [[동치,equivalence]]: [[category_equivalence]] - w
----
[[논리동치,logical_equivalence]] ([[논리학,logic]] [[논리,logic]] [[로직,logic]])
{
'''논리적 동치'''

두 [[명제,proposition]]가 모든 가능성에서 동일한 [[진리값,truth_value]]을 가질 경우 두 명제는 '''논리적 동치'''이다. - chk

//tmp from [[Namu:동치#s-2]], chk
 2.1 실질적 동치 - material_equivalence - 필요충분조건 성립하는 경우, aka 동일률
 2.2. 논리적 동치 - [[문장,sentence]] P가 문장 Q의 논리적귀결([[논리결과,logical_consequence]])이며 또한 Q가 P의 논리적 귀결이면, P와 Q 간에 논리적동치([[논리동치,logical_equivalence]])가 성립한다고 말함

Compare:
[[논리상등,logical_equality]] (curr at [[상등,equality]])
다른점비교 tbw

Twins:
[[WpSp:Logical_equivalence]] = https://simple.wikipedia.org/wiki/Logical_equivalence
[[WpEn:Logical_equivalence]] = https://en.wikipedia.org/wiki/Logical_equivalence

https://proofwiki.org/wiki/Definition:Logical_Equivalence

Up: [[논리학,logic]] [[논리,logic]] [[로직,logic]] [[동치,equivalence]]
}
----
[[material_equivalence]]
{
= [[biconditional]]? [[logical_biconditional]] { AKA '''material biconditional''' ## material_biconditional MKLINK: [[XNOR_gate]] Twins: WpEn:Logical_biconditional = https://en.wikipedia.org/wiki/Logical_biconditional }
= iff?

MKLINK
[[material_conditional]] = [[material_implication]]
{
WpEn:Material_conditional
 = https://en.wikipedia.org/wiki/Material_conditional
}

WpEn:Material_equivalence redir. to => WpEn:If_and_only_if = https://en.wikipedia.org/wiki/If_and_only_if

... Naver:material_equivalence
... Google:material_equivalence
}
----
[[동치류,equivalence_class]]
{
tmp see [[Namu:동치관계#s-4]]

https://mathworld.wolfram.com/EquivalenceClass.html


... Naver:동치류
... Google:동치류

Up: [[class]] (pagename?)
}

[[equivalent_system]] or
[[equivalent_systems]]
{
// equival..의 번역 참조 @ kms:
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalent
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalence
동치계 ... 가 최선?

Equivalent systems:
 Two linear systems with the same solution set.

'''동치계''': 같은 해집합을 가진 두 선형계.

[[선형계,linear_system]]
[[계,system]]
[[해집합,solution_set]]

via 김현철 http://kocw.net/home/search/kemView.do?kemId=1267347 1. 13m
}
----
프로그램동치
program_equivalence =,program_equivalence .
{
https://www.pls-lab.org/en/Program_equivalence
"Given two programs, when are they equal/the same/equivalent?"

[[프로그램,program]]
}
----
[[튜링_동치,Turing_equivalence]] =튜링_동치,Turing_equivalence =,Turing_equivalence . 튜링_동치 Turing_equivalence
{
'''Turing equivalence'''


https://en.wikipedia.org/wiki/Turing_equivalence

https://en.wiktionary.org/wiki/Turing_equivalence X [[Date(2024-04-28T00:26:41)]]

Cmp [[튜링_완전성,Turing_completeness]]

}// Turing equivalence .... Ggl:"Turing equivalence" Naver:"Turing equivalence"
----
ADDHERE
----
단어 뒷부분 겹침
[[bivalence]] =,bivalence .
{
KmsE:bivalence
WtEn:bivalence

논리학
principle_of_bivalence =,principle_of_bivalence .
bivalence_principle =,bivalence_principle .
{
[[법칙,law]] or [[원리,principle]].

MKL
[[multi-valued_logic]]

"'''principle (or law) of bivalence''' ... A logic satisfying this principle is called a two-valued_logic or bivalent_logic"
https://en.wikipedia.org/wiki/Principle_of_bivalence
}

WpEn:bivalence
Ndict:bivalence
Ggl:bivalence
}

[[원자가,valence]]
----
Cmp:
[[equation]](방정식 or ...), [[identity]](항등식 or 항등성 or 항등-)

[[antiequivalence]] =,antiequivalence . antiequivalence
[[anti-equivalence]] =,anti-equivalence . anti-equivalence
{
WtEn:anti-equivalence ?
WtEn:antiequivalence ?

WpSp:antiequivalence ?
WpEn:antiequivalence ?

....
Bing:antiequivalence
Ggl:antiequivalence
}
----
[[Date(2023-01-10T20:01:43)]] 현재
[[VG:동치,equivalence]]는 없고, see
[[VG:동치관계,equivalence_relation]]

[[WpKo:동치]]
= https://ko.wikipedia.org/wiki/동치

동치
http://www.ktword.co.kr/test/view/view.php?no=4765