ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
        исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.

ИСЧИСЛЕ́НИЕ ВЫСКА́ЗЫВАНИЙ
раздел символич. логики, в к-ром изучаются логич. связи между высказываниями, рассматриваемыми в отвлечении от их субъектно-предикатного строения; необходимая часть исчисления предикатов. См. Логика высказываний.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
    ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — см. Логика высказываний.

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ" в других словарях:

  • ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — раздел математической логики, аксиоматическое построение логики высказываний …   Большой Энциклопедический словарь

  • исчисление высказываний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN propositional calculus …   Справочник технического переводчика

  • Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …   Википедия

  • исчисление высказываний — раздел математической логики, аксиоматическое построение логики высказываний. * * * ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ) …   Энциклопедический словарь

  • Исчисление высказываний —         исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с …   Большая советская энциклопедия

  • ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. исчисления… …   Математическая энциклопедия

  • Интуиционистское исчисление высказываний — Интуиционистское исчисление высказываний  формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. Основное отличие от привычного исчисления высказываний… …   Википедия

  • Исчисление понятий —         «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… …   Энциклопедия эпистемологии и философии науки

  • Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) …   Википедия

  • Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»