克林三值邏輯(Kleene's 3-Valued Logic)一種多值邏輯系統.它是由美國邏輯學家、數學家克林(Kleene,S. C.)於1938年給出的一種三值邏輯系統
基本介紹
- 中文名：克林三值邏輯
- 外文名：Kleene's 3-Valued Logic
規定命題可能的取值為0(假),1(真)和u.取值u的命題被認為是未知的或不可決定的，從而使真值聯結詞的定義如下:
克林並沒有否認命題的最終取值非真即假，一個命題取第三值u只是說明它的最終的取值目前還不知道，或者根據某種判定方法(如能行算法)不能決定它的真值.
克林三值邏輯
