Трехзначная система Гейтинга

В двузначной логике из закона исключенного третьего выво­дятся: 1 ) →х; 2) х . Исходя из утверждения, что истин­ным является лишь второе, нидерландский логик и математик А. Рейтинг (1898-1980) разработал трехзначную пропозицио­нальную логику. В этой логической системе импликация и от­рицание отличаются от определений этих операций у Лукасеви­ча лишь в одном случае. “Истина” обозначается 1, “ложь” - 0, “неопределенность” - ¹/₂. Тавтология принимает значение 1.

Импликация Гейтинга