가능한 진리값이 항상 두가지가(둘,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에서는 참 거짓 말고 다른 진리값이 있다.
고전적인 논리(고전논리,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으로 확장(+일반화?)한 것. Many-valued_logic 다치_논리 }
진리값이 두개보다 많은(즉 T F 말고 다른 게 있는) 명제논리,propositional_logic를 many-valued_logic = multivalued_logic 이라 한다. { (작성중) (pagename TBD) 이것은 고전적인 2-valued logic을 n>2인 n-valued logic으로 확장(+일반화?)한 것. Many-valued_logic 다치_논리 }
진릿값
수학의 세계: 진리값
https://proofwiki.org/wiki/Definition:Truth_Value
https://ncatlab.org/nlab/show/truth value
수학의 세계: 진리값
https://proofwiki.org/wiki/Definition:Truth_Value
https://ncatlab.org/nlab/show/truth value