logika trójwartościowa
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 · Polski
Logika trójwartościowa – wariant logiki zdań bądź predykatów rozszerzony o dodatkową wartość w stosunku do systemów klasycznych. Za pierwszy system logiki trójwartościowej uznaje się L3 autorstwa Jana Łukasiewicza. W tym samym okresie prace nad zagadnieniem prowadził . W późniejszym czasie powstały systemy m.in. Stephena Kleenego czy .
Abstract from DBpedia / Wikipedia · CC BY-SA