정의역,domain in RRWiki

Difference between r1.17 and the current

@@ -22,31 +22,31 @@

[[Boolean_function]] =,Boolean_function . Boolean_function
{

WtEn:Boolean_function ?

WpSp:Boolean_function ?

WpEn:Boolean_function ?

Boolean function

[[WtEn:Boolean_function]]

= https://en.wiktionary.org/wiki/Boolean_function

WpSp:Boolean_function x 2024-04 ... https://simple.wikipedia.org/wiki/Boolean_function

[[WpEn:Boolean_function]]

= https://en.wikipedia.org/wiki/Boolean_function

MKLINK
[[Boolean-valued_function]] =,Boolean-valued_function . Boolean-valued_function
{
'''Boolean-valued function'''

불-값 함수?

MKLINK [[지시함수,indicator_function]] - [[VG:지시함수,indicator_function]]

....
Twins: [[WpEn:Boolean-valued_function]] = https://en.wikipedia.org/wiki/Boolean-valued_function

~~Ggl:"~~Boolean-valued function"

"Boolean-valued function"

}

} // Boolean-valued function ... Ggl:"Boolean-valued function"

Up: [[Boolean_algebra]] [[Boolean_logic]]

Up: [[불_대수,Boolean_algebra]] [[불_논리,Boolean_logic]]

}//"Boolean function" ... Ndict:"Boolean function" Naver:"Boolean function" Ggl:"Boolean function"

~~Ndict:"Boolean function"~~

~~Naver:"Boolean function"~~

~~Ggl:"Boolean function"~~

~~"Boolean function"~~

}

여기서 원소(entry)를 뽑는 행렬: [[logical_matrix]] = [[불_행렬,Boolean_matrix]]
[[logical_matrix]] =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ? KmsE:"logical matrix" x
WtEn:logical_matrix ?

Sub:
불_정의역,Boolean_domain =불_정의역,Boolean_domain =,Boolean_domain 불_정의역 Boolean_domain
{
불_정의역 ? 은 내생각 , chk -

Boolean domain

$\displaystyle \mathbb{B}$
{false,true} 혹은 {T, F} 혹은 {0, 1} 혹은 {⊥, ⊤} 뭐 등등....

Boolean domain
참,true과 거짓,false으로 해석,interpretation되는 두 원소,element가 들어있는 집합,set. {0, 1} 또는 {False, True}.

MKLINK
불_변수,Boolean_variable =불_변수,Boolean_variable =,Boolean_variable . 불_변수 Boolean_variable
{
값,value을 Boolean_domain에서 택하는 변수,variable.

Boolean_variable
Ref.
https://planetmath.org/booleandomain

mkl Boolean_value
}// Boolean variable ...

Boolean variable

Boolean_function =,Boolean_function . Boolean_function
{
Boolean function

Boolean_function
= https://en.wiktionary.org/wiki/Boolean_function

Boolean_function x 2024-04 ... https://simple.wikipedia.org/wiki/Boolean_function

Boolean_function
= https://en.wikipedia.org/wiki/Boolean_function

MKLINK
Boolean-valued_function =,Boolean-valued_function . Boolean-valued_function
{
Boolean-valued function
불-값 함수?

MKLINK 지시함수,indicator_function -

지시함수,indicator_function

....
Twins:

Boolean-valued_function = https://en.wikipedia.org/wiki/Boolean-valued_function

} // Boolean-valued function ...

Boolean-valued function

Up: 불_대수,Boolean_algebra 불_논리,Boolean_logic

}//"Boolean function" ...

Boolean function

여기서 원소(entry)를 뽑는 행렬: logical_matrix = 불_행렬,Boolean_matrix
logical_matrix =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ?

logical matrix x

logical_matrix ?

불_행렬,Boolean_matrix 불_행렬,Boolean_matrix 불_행렬,Boolean_matrix =,Boolean_matrix
{
logical matrix

~~logical_matrix~~ x 2023-08-28
~~Boolean_matrix~~ x 2023-08-28

QQQ 이거 연결이 0 또는 1개만 있는 undirected_graph의 인접행렬,adjacency_matrix{ adjacency_matrix https://en.wikipedia.org/wiki/Adjacency_matrix } ?? chk

- digraph 도 됨. symmetric할 필요 없으니까 ... (proofwiki)

이진관계,binary_relation의 명시적 정의로 쓰일 수 있다. (pw)

https://oeis.org/wiki/Logical_matrix

"Such a matrix affords a matrix representation of a k-adic relation."

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

points: (0,1)-Matrix at https://mathworld.wolfram.com/01-Matrix.html
"It is also called a logical matrix, binary_matrix, relation_matrix, or Boolean_matrix. " // 이진행렬,binary_matrix 관계행렬,relation_matrix 불_행렬,Boolean_matrix와 동의어.

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

points: (0,1)-Matrix at https://mathworld.wolfram.com/01-Matrix.html (too)

https://planetmath.org/logicalmatrix

https://ko.wikipedia.org/wiki/이진_행렬

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

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

Sub: irreducible_logical_matrix =,irreducible_logical_matrix . irreducible_logical_matrix {irreducible logical matrix 정사각행렬,square_matrix의 Aⁿ의 원소가 strictly_positive한 그런 n이 존재.

irreducible_logical_matrix https://proofwiki.org/wiki/Definition:Irreducible_Logical_Matrix "irreducible logical matrix"}

Sub:
Redheffer_matrix =,Redheffer_matrix =,Redheffer_matrix . Redheffer_matrix
{
레드헤퍼_행렬 Redheffer matrix

Redheffer_matrix