- логическое высказывание
-
logical proposition
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Логическое высказывание — утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами. Высказывательной формой… … Википедия
Высказывание (логика) — У этого термина существуют и другие значения, см. Высказывание. Высказывание термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки … Википедия
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений. ...ЛОГИЯ (от греч. logos слово учение), часть сложных слов, означающая: наука, знание, учение, напр., геология,… … Большой Энциклопедический словарь
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т.е. выводимое из посылок на основе правил и законов логики … Философская энциклопедия
логическое следование — отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов выводимо … Словарь терминов логики
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
логическое следствие — суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений. * * * ЛОГИЧЕСКОЕ СЛЕДСТВИЕ ЛОГИЧЕСКОЕ СЛЕДСТВИЕ, суждение (предложение, высказывание, формула), полученное посредством… … Энциклопедический словарь
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — из данного множества посылок высказывание, являющееся истинным при любой интерпретации нелогич. символов (т. е. имен объектов, функций, предикатов), при к рой истинны посылки. Если высказывание Аявляется Л. с. из множества высказываний Г, то… … Математическая энциклопедия
Логическое следствие — суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и… … Большая советская энциклопедия
логическое ударение — , я. Выделение с помощью интонационных средств какого л. слова в высказывании, которое представляется говорящим наиболее важным, с целью обратить на него внимание слушателя. Часто в этом смысле говорят о месте интонационного центра… … Учебный словарь стилистических терминов
БЕСКОНЕЧНОЕ ЛОГИЧЕСКОЕ — понятие диалектической логики, введенное грузинским философом С.Б. Церетели (1907 1966). Б. Л., по определению Церетели, «есть то, отрицание чего утверждает его же. Точнее: это есть утверждение чего либо отрицанием его же». Так, говоря, что нет… … Новейший философский словарь