진리값,truth_value

Difference between r1.2 and the current

@@ -1,17 +1,23 @@
어떤 [[명제,proposition]]의 내용이 참인지 거짓인지를 나타내는 값.
어떤 [[명제,proposition]]의 내용이 [[참,true]]인지 [[거짓,false]]인지를 나타내는 [[값,value]].

가능한 '''진리값'''이 항상 두가지가([[둘,two]]이) 아님 ... (고전논리에서는 항상 둘)
고전적인 논리([[고전논리,classical_logic]])에선 [[참,true]] [[거짓,false]] 두 진리값만 존재하며 (즉 [[Boolean_domain]](writing)의 두 [[원소,element]]s)
(모든 [[two-valued_logic]] { https://ncatlab.org/nlab/show/two-valued+logic } 에서도?)
[[multivalued_logic]] = [[many-valued_logic]]에서는 참 거짓 말고 다른 진리값이 있다.

rel.
'''진리값'''이 두개보다 많은(즉 T F 말고 다른 게 있는) [[명제논리,propositional_logic]]를 many-valued_logic = multivalued_logic 이라 한다. { (작성중) (pagename TBD) 이것은 고전적인 2-valued logic을 n＞2인 n-valued logic으로 확장''(+일반화?)''한 것. WpEn:Many-valued_logic WpKo:다치_논리 }
MKLINK
[[진리표,truth_table]]
[[RR:진리나무,truth_tree]]

----
[[WpKo:진릿값]]
[[https://terms.naver.com/entry.naver?docId=2426184&cid=60208&categoryId=60208 수학의 세계: 진리값]]
https://proofwiki.org/wiki/Definition:Truth_Value
https://ncatlab.org/nlab/show/truth+value

Up: [[논리,logic]]
[[값,value]]?


어떤 명제,proposition의 내용이 참,true인지 거짓,false인지를 나타내는 값,value.

가능한 진리값이 항상 두가지가(둘,two이) 아님 ... (고전논리에서는 항상 둘)
고전적인 논리(고전논리,classical_logic)에선 참,true 거짓,false 두 진리값만 존재하며 (즉 Boolean_domain(writing)의 두 원소,elements)
(모든 two-valued_logic { https://ncatlab.org/nlab/show/two-valued logic } 에서도?)
multivalued_logic = many-valued_logic에서는 참 거짓 말고 다른 진리값이 있다.

rel.
진리값이 두개보다 많은(즉 T F 말고 다른 게 있는) 명제논리,propositional_logic를 many-valued_logic = multivalued_logic 이라 한다. { (작성중) (pagename TBD) 이것은 고전적인 2-valued logic을 n＞2인 n-valued logic으로 확장(+일반화?)한 것. WpEn:Many-valued_logic WpKo:다치_논리 }