ИСЧИСЛЕНИЕ БЕСКОНЕЧНО МАЛЫХ ВЕЛИЧИНИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ

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

Найдено 2 определения термина ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [советское]

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

раздел символич. логики, в к-ром изучаются логич. связи между высказываниями, рассматриваемыми в отвлечении от их субъектно-предикатного строения; необходимая часть исчисления предикатов. См. Логика высказываний.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

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

исчисление предложений, формализованная система, в к-рой задается способ доказательства нек-рых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Советский философский словарь

Найдено схем по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — 0

Найдено научныех статей по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — 0

Найдено книг по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — 0

Найдено презентаций по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — 0

Найдено рефератов по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — 0