исчисление высказываний это:

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

Энциклопедический словарь. 2009.

Смотреть что такое "исчисление высказываний" в других словарях:

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

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

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

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

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

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

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

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

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

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

Книги

Другие книги по запросу «исчисление высказываний» >>


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

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