Трехзначная система Лукасевнча

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

Отрицание и импликация соответственно определяются мат­рицами (таблицами) так: