СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    У матэматыцы і логіцы - спосаб абгрунтавання (вызначэння) праўдзівасці выказывання, меркавання, тэорыі з дапамогай лагічных вывадаў і практычных сродкаў

ЭКВІВАЛЕНТ НА ІНШАЙ МОВЕ         ДОКАЗАТЕЛЬСТВА (мат. логика)

    КРЫНІЦЫ IНФАРМАЦЫІ
    Беларуская энцыклапедыя. Т. 6. – Мн., 1998.
    Гетманова, А. Д. Логика : слов. и задачник. - М., 1998.
    http://www.glossary.ru/cgi-bin/gl_sch2.cgi?RMgylsgyoqg