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