Трехзначная пропозициональная логика (логика высказываний) была построена в 1920 г. польским математиком и логиком Я. Лукасевичем (1878-1956)'. В ней “истина” обозначается 1, “ложь” - 0, “нейтрально” - 1/2. В качестве основных функций взяты отрицание (Nx) и импликация (Сху); производными являются конъюнкция (Кху) и дизъюнкция (Аху). Тавтология принимает значение 1.
Отрицание и импликация соответственно определяются матрицами (таблицами) так:
Импликация Лукасевича | |||
X \ y | 1/2 | ||
1/2 | |||
1/2 | l | 1/2 | |
l |