Истинностное Значение

значение истинности (в логике), значение, которое принимает Высказывание (предложение, суждение), рассматриваемое по отношению к отображаемому в нём содержанию. В обычной (классической) логике используются два И. З. — «истинно», «ложно». В многозначной логике (См. Многозначная логика) рассматриваются суждения, которые могут принимать большее число И. З. (например, в трёхзначной логике фигурируют три И. З., которые можно истолковать как «истинно», «ложно», «неопределенно»). См. Статьи Алгебра ло..

- одно из двух значений - "истина" (И)или "ложь" (Л),- которое может принимать данная логич. Формула в рассматриваемой интерпретации (модели). И. З. Ииногда в литературе обозначается также 1, Т, t, а И. З. Л- 0, F, f. Если в модели заданы И. З. Элементарных формул, то И. З. ||А|| всякой формулы Аопределяется индуктивно следующим образом (для классич. Логики). Иногда рассматриваются интерпретации, в к-рых логич. Формула, кроме Ии Л, может принимать и другие "промежуточные" И. З. В таких инте..

- метафорическое обозначе­ние области исследований, цель которых - создание технических систем, способных решать задачи невычислительного характера и выполнять действия, требующие переработки содержательной ин­формации и считающиеся прерогативой человеческого мозга. К числу таких задач относятся, напр., задачи на доказательство тео­рем, игровые задачи (скажем, при игре в шахматы), задачи по пере­воду с одного языка на другой, по сочинению музыки, распозна-  . Ванию зрительных образов, решени..

— мысль или высказывание, соответствующие своему предмету. Мысль соответствует своему предмету, если представля­ет его таким, каков он есть на самом деле, в реальности. Напр., мысль о том, что Иртыш есть приток Оби, соответствует своему предмету, ибо действительно Иртыш вливается в Обь. А мысль о том, что бананы растут на березе, искажает реальное положение дел, поэтому является ложью. Вопрос об И. Принадлежит сфере философии. Для логики важ­но иметь в виду следующее. Реальность, относительно ко..

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

— в грамматике естественного языка парный знак препинания (обычно ,, ". Или « »), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле. В логике К. Используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях «Мос­ква расположена на Москве-реке» и «Москва состоит из шести букв» слово «Москва» в первом предложении употребляется обыч­но, а во втором — автонимно, т. Е. В качестве имени самого се..