동치,equivalence

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

Sub:
동치류,equivalence_class
행동치,row_equivalence - VG:행동치,row_equivalence
동치관계,equivalence_relation (관계,relation)
=동치관계,equivalence_relation =,equivalence_relation 동치관계 equivalence_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














명제,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




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?





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

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



프로그램동치
program_equivalence =,program_equivalence .
{
https://www.pls-lab.org/en/Program_equivalence
"Given two programs, when are they equal/the same/equivalent?"


튜링_동치,Turing_equivalence =튜링_동치,Turing_equivalence =,Turing_equivalence . 튜링_동치 Turing_equivalence
{
Turing equivalence





}// Turing equivalence .... Ggl:Turing equivalence Naver:Turing equivalence

Wilf_equivalence =,Wilf_equivalence . Wilf_equivalence
{

MKL
치환,permutation or 순열,permutation
Wilf_class
permutation_class =,permutation_class . permutation_class
{
permutation class
wt x 2024-05-06

"A permutation class may also be known as a pattern_class, closed_class, or simply class of permutations." (we)





ADDHERE

단어 뒷부분 겹침
bivalence =,bivalence .
{
KmsE:bivalence
WtEn:bivalence

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


"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
}



Cmp:
equation(방정식 or ...), identity(항등식 or 항등성 or 항등-)

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



2023-01-11 현재
VG:동치,equivalence는 없고, see
VG:동치관계,equivalence_relation