Skip navigation

Что такое Модель Семантическая? Значение model semanticheskaya, словарь логики

Значение термина «Модель Семантическая» в Словаре логики. Что такое модель семантическая? Узнайте, что означает слово model-semanticheskaya - толкование, обозначение, определение термина, его лексический смысл и описание.

Модель Семантическая

Модель Семантическая –  - система значений, приписыва­емых выражениям некоторого формализованного языка, то же, что интерпретация. Логические системы часто строятся в виде фор­мального исчисления, принимающего во внимание лишь внешний вид формул и символов. Исчисление превращается в язык после того, как его символом придано некоторое значение и указана область объектов, к которой относятся его выражения и формулы. После этого мы можем говорить об истинности и ложности фор­мул исчисления. М. с. как раз и называют систему значений или область объектов, которые превращают формулы логического ис­числения в истинные или ложные утверждения.

Словарь логики
Прослушать

Поделиться с друзьями:

Постоянная ссылка на страницу:

Ссылка для сайта/блога:

Ссылка для форума (BB-код):