Истинностное значение — значение истинности (в логике), значение, которое принимает Высказывание (предложение, суждение), рассматриваемое по отношению к отображаемому в нём содержанию. В обычной (классической) логике используются два И. з. «истинно», «ложно»; в… … Большая советская энциклопедия
ИСТИННОСТНОЕ ЗНАЧЕНИЕ — одно из двух значений истина (И)или ложь (Л), которое может принимать данная логич. формула в рассматриваемой интерпретации (модели). И. з. Ииногда в литературе обозначается также 1, Т, t, а И. з. Л 0, F, f. Если в модели заданы И. з.… … Математическая энциклопедия
ЗНАЧЕНИЕ — содержание, обозначенное тем или иным языковым выражением словом, предложением, знаком и т.п. Вопрос о З. языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. Различают предметное, смысловое и экспрессивное З. языковых … Философская энциклопедия
ЗНАЧЕНИЕ — (1) выражения число, полученное в результате выполнения всех действий в данном числовом выражении; (2) З. истинное величина, которая идеальным образом отражает в качественном и количественном отношениях соответствующее свойство объекта; (3) З.… … Большая политехническая энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
ИСТИННОСТНАЯ ТАБЛИЦА — таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает истина , Л ложь ). Здесь А 1, ...,А п пропозициональные переменные, ( А 1 … Математическая энциклопедия
интенсиональные контексты — ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ (от лат. intensio усиление) отличаются от стандартных экстенсиональных языков наличием особых предикатных знаков и операторов, напр. типа «верит, что...», «знает, что...», «ищет...», «необходимо, что...». В этих… … Энциклопедия эпистемологии и философии науки