Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:
А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я
[Модель Семантическая]
а- система значений, приписыванемых выражениям некоторого формализованного языка, то же, что
интерпретация. Логические системы часто строятся в виде форнмального исчисления, принимающего во внимание лишь внешний вид формул и символов.
Исчисление превращается в язык после того, как его символом придано некоторое
значение и указана область объектов, к которой относятся его выражения и формулы. После этого мы можем говорить об истинности и ложности форнмул исчисления. М. с. как раз и называют систему значений или область объектов, которые превращают формулы логического иснчисления в истинные или ложные утверждения.
Вернуться в раздел Эзотерические и восточные энциклопедии.
Информация