logo
Getmanova_A_D_-_Logika

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

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