三值逻辑
Sign in to saveAlso known as trinary logic, 3VL, trivalent logic, ternary logic, trilean logic, 3-valued logic, Kleenean logic
logic system in which there are three truth values indicating true, false and some indeterminate third value
Wikidata facts
- Subclass of
- many-valued logic
Show 3 more facts
- used by
- ternary computer
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Article · 中文
在邏輯學中的三值邏輯（three-valued，也稱為三元（ternary），或三价（trivalent）邏輯，有時縮寫為3VL）是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值；这相对於基礎的二元邏輯（比如布尔逻辑，它只提供真假兩種狀態）。概念形式和基本思想最初由 JanŁukasiewicz和 C. I. Lewis創建。 然後這些由 Grigore Moisil以公理代數形式重新制定，並在 1945年擴展到 值邏輯。
Abstract from DBpedia / Wikipedia · CC BY-SA