See [[VG:진리값,truth_value]]
----
mkl [[Boolean_value]] { either [[참,true]] or [[거짓,false]]? mkl [[값,value]] [[Boolean_domain]] [[진리값,truth_value]] }
----
단어뜻참조
진리값
Ndict:진리값
Ggl:진리값
[[WtEn:truth_value]] = https://en.wiktionary.org/wiki/truth_value
[[WpKo:진릿값]] = https://ko.wikipedia.org/wiki/진릿값
[[WpEn:truth_value]] = https://en.wikipedia.org/wiki/Truth_value

Ggl:"truth value"

구성단어
[[진리,truth]]?
[[값,value]]
(2-valued_logic = two-valued_logic = bivalent_logic)(Rel. [[principle_of_bivalence]] )(ex. [[Boolean_logic]] ...)에서는 보통 [[참,true]] [[거짓,false]] ? 혹은 [[영,zero]] [[하나,one]] ?


[[명제,proposition]]([[명제proposition]])에 대해 정해지는?
... chk [[논증,argument]] / [[불_식,Boolean_expression]] / [[논리식,logic_formula]] ~ [[논리식,logical_formula]] / [[명제식,propositional_formula]] / [[문장,sentence]]


mkl
[[진리집합]](?)
[[진리표,truth_table]]
[[진리함수,truth_function]] =진리함수,truth_function =,truth_function .
{
truth function

truth_function

WtEn:truth_function
https://planetmath.org/truthfunction
https://en.wikipedia.org/wiki/Truth_function

Ndict:진리함수
Ggl:진리함수
Ndict:"truth function"
Ggl:"truth function"

MKL
[[진리값,truth_value]]
[[many-valued_logic]] { =,many-valued_logic =,n-valued_logic =,multi-valued_logic =,multivalued_logic .

'''many-valued logic'''
n-valued logic ?
multi-valued logic ?
multivalued logic ?

여러값논리
다치논리 - wk,namu. 이땐 two-valued logic은 이치논리 로 번역.
다치논리학


Sub:
다치논리함수
무한 다치 논리학
 유한치 다치논리가 있으며 무한치 다치논리 ....

Rel:
양상논리,   modal_logic 와..
 see http://www.aistudy.com/logic/modern_soh.htm 이 글 1. 다치논리· 양상논리
퍼지논리,  fuzzy_logic 과

----
Twins:
https://encyclopediaofmath.org/wiki/Many-valued_logic

0: ... Ggl:"0-valued logic" (=https://www.google.com/search?q=0-valued+logic)
1: ... Ggl:"1-valued logic"
2: ... Ggl:"2-valued logic"
3: https://en.wikipedia.org/wiki/Three-state_logic ... Ggl:"3-valued logic"
4: https://en.wikipedia.org/wiki/Four-valued_logic 사치논리 ? 네값논리 ? (Ggl:사치논리 Ggl:네값논리 없음 as of [[Date(2023-08-26T18:09:39)]]) ... Ggl:"4-valued logic"
5:
finite:
∞: 

digital_circuit 에서 0 1 / F T 만 쓰는 게 아니라 don't care( ''pagename TBD'' https://en.wikipedia.org/wiki/Don%27t-care_term )등도 쓰기 때문에 2-valued logic만 쓰지는 않음
ex. https://en.wikipedia.org/wiki/Logic_level#More_than_two_levels

rel
logic_level =,logic_level . logic_level
{
'''logic level'''

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

Up: logic( [[로직,logic]] ? ) level( [[단계,level]] [[레벨,level]] ? )

WtEn:logic_level x([[Date(2023-08-26T18:09:39)]])

"logic level"
Ndict:"logic level"
Ggl:"logic level"
} // logic level

...
Ndict:"many-valued logic"
Ggl:"many-valued logic"

MERGE Srch:valued_logic
} 에서는 진리값이 둘이 아니다

[[degree_of_truth]] { MKL: [[belief]] https://en.wikipedia.org/wiki/Degree_of_truth Up: [[fuzzy_logic]] [[디그리,degree]] [[진리값,truth_value]] }
[[불_함수,Boolean_function]] 의 일종? (wt)
[[지시함수,indicator_function]] [[VG:지시함수,indicator_function]] 와 비슷?

}


----
Wikiadmin
'''진리값, 진릿값, 진리치, truth value'''

[[VG:진리값,truth_value]]

WtEn:truth_value

https://namu.wiki/w/진릿값

https://plato.stanford.edu/entries/truth-values/

Up: [[진리,truth]] [[값,value]]