сложное высказывание

сложное высказывание
высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: "и", "или", "если, то", "если и только если", "не". Вместо этих слов в логике используются символы: &, v, ->, ?, сложное высказывание. С. в. А& В называется конъюнкцией ("А и В"), A v В - дизъюнкцией ("А или В"), А - В - импликацией ("Если A, то В"), А = В - эквивалентностью ("А, если и только если В"), сложное высказывание А - отрицанием ("Неверно, что A", или "не-A").
Установление смысла и способа употребления логических связок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики - исчисления высказываний.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "сложное высказывание" в других словарях:

  • высказывание контрфактическое — (от лат. contra против, factum событие) сложное высказывание, в котором с помощью союза если бы..., то бы... объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно сослагательного наклонения …   Словарь терминов логики

  • Высказывание (Предложение) Контрфактическое — (от лат. contra против, factum событие) а сложное высказывание, в котором с помощью союза лесли бы..., то бы …   Словарь терминов логики

  • ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… …   Философская энциклопедия

  • условное высказывание — сложное высказывание, формулируемое обычно с помощью связки если..., то... и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: Если есть огонь, то есть дым , Если число… …   Словарь терминов логики

  • Сложное синтаксическое целое (сверхфразовое единство, микротекст, период) — группа тесно взаимосвязанных законченных предложений, объединенных общностью темы в смысловой блок. Смысловые отношения, объединяющие самостоятельные предложения в С. с. ц., подкрепляются различными средствами: лексическими (повторение в… …   Педагогическое речеведение

  • логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… …   Словарь терминов логики

  • таблица истинности — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических… …   Словарь терминов логики

  • ИМПЛИКАЦИЯ — [лат. implicatio сплетение, переплетение] лог. логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу «если... то...». Словарь иностранных слов. Комлев Н.Г., 2006. импликация …   Словарь иностранных слов русского языка

  • ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …   Философская энциклопедия

  • Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где   троичное множество, а   неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества  цифровые… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»