진리값,truth_value

Difference between r1.7 and the current

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

가능한 '''진리값'''이 항상 두가지가([[둘,two]]이) 아님 ... (고전논리에서는 항상 둘)
고전적인 논리([[고전논리,classical_logic]])에선 [[참,true]] [[거짓,false]] 두 진리값만 존재하며 (즉 [[Boolean_domain]](writing)의 두 [[원소,element]]s)
@@ -20,5 +20,4 @@

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:다치_논리 }