Математические методы в библиотечной работе. Елизаров А.М - 47 стр.

ГЛАВA II


    МАТЕМАТИЧЕСКАЯ ЛОГИКА
        И ЕЕ ПРИМЕНЕНИЕ В
    БИБЛИОТЕЧНОЙ РАБОТЕ

           § 4. Исчисление высказываний
   Раздел логики, с которым мы начинаем знаком-
ство, посвящен изучению связей между высказыва-
ниями (каким oбразом одни высказывания строятся
иа других посредством простейших логических опе-
раций).
   1. Основные понятия. Мы воспринимаем высказы-
вания через выражающие их повествовательные
предложения русского языка. Высказывания суть
смысл этих предложений. При этом мы не отождеств-
ляем их с предложениями, т. к. одно и то же выска-
зывание можно изложить по-разному. Например,
фразы „Читатель Александров взял в библиотеке
книгу Булгакова" и „Книгу Булгакова взял в библио-
теке для чтения Александров" представляют одно и
то же высказывание, тогда как предложение „Чита-
тель Александров не взял книгу Блока" отражает
нечто другое. В исчислении высказываний различают
лишь высказывания, имеющие разный смысл, а не
высказывания, представленные различными предложе-
ниями. Мы будем предполагать, что встречающиеся
нам высказывания можно отличать друг от друга.
   Многие повествовательные предложения, кроме
того, носят многозначный характер, поэтому нельзя
сказать, правильны или нет соответствующие выска-
зывания. Например, про фразы „Сумма чисел 2 и 6
больше 8", „Марс дальше от Солнца, чем Венера",
„Блок написал поэму „Двенадцать" можно сказать,
правильны они или нет, а о высказывании „В нашей
Галактике есть внеземные цивилизации" сейчас мы
этого сказать не можем. В исчислении высказываний
такие предложения не рассматриваются.
  Определение 1. Под высказыванием понима-
ется повествовательное предложение, которое мо-
                                                47