исчисление высказываний

См. также в других словарях:

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

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

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

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

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

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

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

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

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

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

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