Lukasiewicz's Three-Valued Logic

show results

language of predicates

Slovenian

English

number of elements

4

number of statements

5

number of negated statements

5

help

show truth tables

This Demonstration presents a simple test for Kleene's three-valued logic. The values are: True, False, and Undefined (or Unknown or Undecided), with associated numerical values 1, 0, 1/2, respectively. The value of compound propositions is evaluated according Łukasiewicz truth tables.