АЛГЕБРА ЛОГИКИ

система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова - алгебраич. (табличное, матричное) построение классич. логики высказываний, в к-ром рассматриваются логические операции  над высказываниями, каждое из к-рых имеет одно из двух значений истинности: «истина» (сокр. «и» или 1) и «ложь» («л» или 0). Элементами А. л. служат переменные, принимающие одно из этих двух значений, а также константы 1 и 0. Предмет А. л. составляет совокупность свойств логич. операций в этой двузначной алгебре, а также вытекающие из этих свойств правила преобразования и упрощения формул А. л. (интерпретируемых как высказывания) и приведения их к нек-рым стандартным формам, пригодным для алгоритмизации (см. Алгоритм) решения логич. задач. А. л. в широком смысле включает распространение методов А. л. на понятия и задачи многозначной логики: вместо теории двузначных арифметич. функций от двух аргументов в n-значной логике рассматриваются n-значные функции от аргументов О, 1, ..., n - 1, причём часть из этих значений, подобно истинному значению 1 в двузначной А. л., считается «выделенными», т. е. соответствующими «истине». Термин «А. л.», идущий от традиций первых работ по математич. логике 19 в. (Дж. Буль, У. С. Джевонс, Э. Шредер, П. С. Порецкий и др.), применяют иногда также в другом, расширит, смысле к алгебраич. задачам и методам логики предикатов, составляющим предмет теории моделей.

Просмотров: 1194
Категория: Словари и энциклопедии » Философия » Советский философский словарь, 1974 г.




Другие новости по теме:

  • «НАУКА ЛОГИКИ»
  • «НАУКА ЛОГИКИ»,
  • «Наука логики» и система Гегеля
  • «СИСТЕМА ЛОГИКИ СИЛЛОГИСТИЧЕСКОЙ И ИНДУКТИВНОЙ»
  • АЛГЕБРА ЛОГИКИ
  • БЫТИЕ В УЗКОМ СМЫСЛЕ
  • ДЕДУКТИВНОЙ и ИНДУКТИВНОЙ ЛОГИКИ СИСТЕМЫ
  • Двухфакторные теории психического развития (конвергенции двух факторов)
  • ЗАКОН ЛОГИКИ
  • Законы логики
  • Когнитивный стиль в широком смысле слова
  • МНОГОЗНАЧНЫЕ ЛОГИКИ
  • МО ДИ, также Мо-цзы
  • НАУКА ЛОГИКИ
  • НЕКЛАССИЧЕСКИЕ ЛОГИКИ
  • ОСНОВАНИЯ ЛОГИКИ И МЕТАФИЗИКИ
  • ПАРАДОКСЫ (логики и теории множеств)
  • ПАРАМНЕЗИЯ, также псевдомнезия
  • ПОВЕДЕНЧЕСКАЯ ГЕНЕТИКА, также психогенетика
  • ПРИЧИННЫЙ РЯД, также причинная цепь
  • ПСИХОМЕТРИЯ, также чтение по предмету
  • Причинный ряд, также причинная цепь
  • Психология труда в узком смысле
  • РАЗВИТИЕ, также эволюция, генезис
  • СЕМАНТИКА, также семасиология
  • СИЛЛОГИЗМ УСЛОВНО-РАЗДЕЛИТЕЛЬНЫЙ (СМ. ТАКЖЕ ДИЛЕММА)
  • СИСТЕМА ЗАДАЧ
  • УБЕЖДЕНИЕ ПРИНУДИТЕЛЬНОЕ, также промывание мозгов
  • УЧНИЧА, также Буддочнича
  • ЯЗЫК ЛОГИКИ



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь