Difference between r1.2 and the current
@@ -1,10 +1,18 @@
#noindex
##====진리값,truth_value =,truth_value 진리값 truth_value
https://www.gabormelli.com/RKB/Truth_Value
[[명제,proposition]]는 either true or false. [[참,true]] or [[거짓,false]]. 이 상태를 '''진리값,truth_value'''이라 함.
See [[VG:진리값,truth_value]]
----
mkl [[Boolean_value]] { either [[참,true]] or [[거짓,false]]? mkl [[값,value]] [[Boolean_domain]] [[진리값,truth_value]] }
----
단어뜻참조진리값
Ndict:진리값
Ggl:진리값
WtEn:truth_value
[[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_valueGgl:"truth value"
@@ -29,7 +37,7 @@
truth_function
WtEn:truth_function
Ndict:진리함수
WtEn:truth_function
https://planetmath.org/truthfunction
https://en.wikipedia.org/wiki/Truth_functionNdict:진리함수
@@ -39,7 +47,84 @@
MKL
[[진리값,truth_value]]
[[many-valued_logic]] { https://encyclopediaofmath.org/wiki/Many-valued_logic }에서는 진리값이 둘이 아니다
[[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
} 에서는 진리값이 둘이 아니다
[[불_함수,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]]
단어뜻참조
진리값
진리값
진리값
truth_value = https://en.wiktionary.org/wiki/truth_value
진릿값 = https://ko.wikipedia.org/wiki/진릿값
truth_value = https://en.wikipedia.org/wiki/Truth_value
진리값
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
구성단어
진리,truth?
값,value
(2-valued_logic = two-valued_logic = bivalent_logic)(Rel. principle_of_bivalence )(ex. Boolean_logic ...)에서는 보통 참,true 거짓,false ? 혹은 영,zero 하나,one ?
진리,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
... chk 논증,argument / 불_식,Boolean_expression / 논리식,logic_formula ~ 논리식,logical_formula / 명제식,propositional_formula / 문장,sentence
mkl
진리집합(?)
진리표,truth_table
진리함수,truth_function =진리함수,truth_function =,truth_function .
{
truth function
진리집합(?)
진리표,truth_table
진리함수,truth_function =진리함수,truth_function =,truth_function .
{
truth function
truth_function
MKL
진리값,truth_value
many-valued_logic { =,many-valued_logic =,n-valued_logic =,multi-valued_logic =,multivalued_logic .
진리값,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 ?
n-valued logic ?
multi-valued logic ?
multivalued logic ?
여러값논리
다치논리 - wk,namu. 이땐 two-valued logic은 이치논리 로 번역.
다치논리학
다치논리 - wk,namu. 이땐 two-valued logic은 이치논리 로 번역.
다치논리학
Sub:
다치논리함수
무한 다치 논리학
양상논리, modal_logic 와..
다치논리함수
무한 다치 논리학
유한치 다치논리가 있으며 무한치 다치논리 ....
Rel:양상논리, modal_logic 와..
see http://www.aistudy.com/logic/modern_soh.htm 이 글 1. 다치논리· 양상논리
퍼지논리, fuzzy_logic 과0: ...
0-valued logic (=https://www.google.com/search?q=0-valued logic)
1: ...
1-valued logic
2: ...
2-valued logic
3: https://en.wikipedia.org/wiki/Three-state_logic ...
3-valued logic
4: https://en.wikipedia.org/wiki/Four-valued_logic 사치논리 ? 네값논리 ? (
사치논리
네값논리없음 as of 2023-08-27) ...
4-valued logic
5:
finite:
∞:
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
1: ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
2: ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
3: https://en.wikipedia.org/wiki/Three-state_logic ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
4: https://en.wikipedia.org/wiki/Four-valued_logic 사치논리 ? 네값논리 ? (
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
5:
finite:
∞:
digital_circuit 에서 0 1 / F T 만 쓰는 게 아니라 don't care( pagename TBD https://en.wikipedia.org/wiki/Don't-care_term )등도 쓰기 때문에 2-valued logic만 쓰지는 않음
ex. https://en.wikipedia.org/wiki/Logic_level#More_than_two_levels
ex. https://en.wikipedia.org/wiki/Logic_level#More_than_two_levels
rel
logic_level =,logic_level . logic_level
{
logic level
logic_level =,logic_level . logic_level
{
logic level
degree_of_truth { MKL: belief https://en.wikipedia.org/wiki/Degree_of_truth Up: fuzzy_logic 디그리,degree 진리값,truth_value }
불_함수,Boolean_function 의 일종? (wt)
지시함수,indicator_function
지시함수,indicator_function 와 비슷?
불_함수,Boolean_function 의 일종? (wt)
지시함수,indicator_function
![VG: VG:](/wiki/imgs/interwiki/vg-16.png)
}
Wikiadmin
진리값, 진릿값, 진리치, truth value
진리값, 진릿값, 진리치, truth value