Математическая логика и теория алгоритмов

- Зато я получил классическое образование. - Как это? - спроста Алиса. ~Авот как, - отвечал Грифон. -Мысмогш учителем, крабом-старичком, ух дили на улицу ицелый деньиграли вклассики. Л. Кэррол Глава 5. Неклассические логики Если быэтобылотак, этобыещеничего, а если быничего,нобытакибыло, нотак какэтонетак,так онои неэтак!Такова логика вещей! Л. Кэррол § 1. Трехзначные логики До сих пор рассматривались высказывания, которые могли принимать лишь два значения: Я либо Л (1 либо 0). Однако оказыва­ ется, что некоторые явления требуют для своего описания употребле­ ния высказываний, принимающих более двух значений. Например, значением высказывания можно считать одно из трех значений: истина,неопределенность (нейтрально) и ложь, обо­ значаемые соответственно И, Н ч Л или 1, Уг и О, Такие высказывания будем обозначать через х, у, z и т.д., а также этими буквами с число­ выми индексами. Их значения в дальнейшем будем записывать сим­ волами 1, 'Л и О соответственно. 187