진리값,truth_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:다치_논리 }