어떤
명제,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으로 확장
(+일반화?)
한 것.
Many-valued_logic
다치_논리
}
MKLINK
진리표,truth_table
진리나무,truth_tree
진릿값
수학의 세계: 진리값
(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
?
Retrieved from http://tomoyo.ivyro.net/123/wiki.php/진리값,truth_value
last modified 2023-07-02 18:43:23