что такое связка в логике

Логические связки

Логические связки, или логические операции — это символические конструкции логических языков (см. Язык формализованный), используемые для образования сложных высказываний (формул) из элементарных высказываний (см. Высказывание). Логическими связками называют также соответствующие этим символам союзы естественного языка (см. Язык). Обычно используются пять общеизвестных логических связок:

Из указанных логических связок отрицание называется одноместной (унарной) связкой; другие называются двухместными (бинарными) связками. В принципе, логические связки могут быть сколь угодно местными, но на практике более, чем бинарные, используются очень редко. В классической логике (см. Логика) любые многоместные логические связки выразимы через перечисленные. Некоторый практический смысл даёт также использование тернарной логической связки, называемой условной дизъюнкцией, связывающей три высказывания A, B и C и означающей, что «A в случае B, и C в случае не-B» или формально: (B ⊃ A) & (¬ B ⊃ C).

Классическая логика рассматривает логические связки экстенсионально (игнорируя содержательный смысл связываемых ими высказываний) как функции истинности, определяемые истинностными значениями связываемых ими высказываний. При двух имеющих место в этой логике истинностных значениях 1 (истинно) и 0 (ложно) высказывания A и B могут иметь четыре возможных набора упорядоченных истинностных значений: (1, 1), (1, 0), (0, 1), (0, 0). Пропозициональная истинностная функция ставит в соответствие каждому перечисленному набору одно из значений истинности — 1 или 0. Всего таких функций 16. Конъюнкция приписывает выражению A & B значение 1 только в случае, когда как A, так и B истинны, то есть оба имеют значение 1, в остальных случаях значение A & B равно 0. Дизъюнкция Α ∨ B, напротив, ложна только в одном случае, когда ложны как A, так и B. Импликация A ⊃ B является ложной только при истинном (антецеденте) A и ложном (консеквенте) B. В остальных случаях A ⊃ B принимает значение 1.

Из четырёх одноместных функций интерес представляет только отрицание, меняющее значение высказывания на противоположное: когда A — истинно, ¬ A — ложно, и наоборот. Все другие унарные и бинарные классические функции могут быть выражены через представленные. Когда принятая в соответствующей семантике система логических связок позволяет дать определение всех остальных, её называют функционально полной. К полным системам в классической логике относятся, в частности, конъюнкция и отрицание; дизъюнкция и отрицание; импликация и отрицание. Конъюнкция и дизъюнкция определимы друг через друга за счёт эквивалентностей (A & B) ≡ ¬ (¬ A∨ ¬ B) и (A ∨ B) ≡ ¬ (¬ A & ¬ B), именуемых законами де Моргана, а также: (Α ⊃ Β) ≡ (¬ Α ∨ B), (A & B) ≡ ¬ (A ⊃ ¬ B), (Α ∨ B) ≡ (A ⊃ B) ⊃ A). Любая эквивалентность вида A ≡ B имеет силу только тогда, когда общезначима (всегда истинна) конъюнкция (A ⊃ B) & (B ⊃ A).

Функции антидизъюнкция и антиконъюнкция, определимые соответственно как ¬ (A ∨ B) и ¬ (A & B), также представляют каждая в отдельности функционально полную систему связок. Это последнее обстоятельство было известно уже Ч. С. Пирсу (неопубликованная при его жизни работа 1880 года) и было переоткрыто X. Шеффером. Используя антидизъюнкцию как единственную логическую связку, Шеффер в 1913 построил полное исчисление высказываний. Антидизъюнкцию обозначают A∣B и называют штрихом Шеффера, читая данное выражение, как «не-A и не-B». Ж. Нико употребил то же обозначение для антиконъюнкции («Неверно, что одновременно A и B») и с помощью только этой связки в 1917 сформулировал полное исчисление высказываний с одной (всего!) аксиомой и одним правилом вывода. Таким образом, штрихом Шеффера называют по сути саму вертикальную черту, которая у разных авторов может обозначать как антидизъюнкцию, так и антиконъюнкцию.

Экстенсиональность логических связок придаёт им однозначность, упрощает проблему построения логических исчислений, даёт возможность решать для последних метатеоретические проблемы непротиворечивости, разрешимости, полноты. Однако в некоторых случаях истинностно-функциональная трактовка связок приводит к значительному несоответствию с тем, как они понимаются в естественном языке. Так, указанная истинностная интерпретация импликации вынуждает признавать верными предложения вида «Если A, то B» даже в том случае, когда между высказываниями A и B (и, соответственно, событиями, о которых в них идёт речь) нет никакой реальной связи. Достаточно, чтобы A было ложным или B — истинным. Поэтому из двух предложений: «Если A, то B» и «Если B, то A», по крайней мере одно приходится признавать верным, что плохо сообразуется с обычным употреблением условной связки. Импликацию в данном случае специально называют «материальной», отличая её тем самым от условного союза, предполагающего, что между антецедентом и консеквентом истинного условного высказывания имеется действительная связь. При этом материальная импликация может прекрасно использоваться во многих контекстах, например, математических, когда при этом не забывают о её специфических особенностях. В некоторых случаях, однако, именно контекст не позволяет трактовать условный союз как материальную импликацию, предполагая взаимосвязь высказываний. Для анализа таких контекстов приходится строить специальные неклассические логики (например, релевантные логики), в язык которых вместо материальной импликации (или наряду с ней) вводятся другие импликации, которые понимаются интенсионально (содержательно) и верность которых не может быть обоснована истинностно-функционально. Интенсионально могут трактоваться также и другие логические связки.

Источник

СОДЕРЖАНИЕ

Обзор

Общие логические связки

Список общих логических связок

Обычно используемые логические связки включают:

Например, значение утверждений идет дождь (обозначено P ) и я в помещении (обозначено Q) трансформируется, когда эти два слова объединяются логическими связками:

Также принято считать, что всегда истинная формула и всегда ложная формула являются связными:

История обозначений

Резервирование

Один из подходов состоит в том, чтобы выбрать минимальный набор и определить другие связки некоторой логической формой, как в примере с условным материалом выше. Ниже приведены минимальные функционально полные наборы операторов классической логики, арности которых не превосходят 2:

Естественный язык

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

Характеристики

Некоторые логические связки обладают свойствами, которые могут быть выражены в теоремах, содержащих связку. Вот некоторые из свойств, которыми может обладать логическая связка:

И конъюнкция, и дизъюнкция ассоциативны, коммутативны и идемпотентны в классической логике, большинстве разновидностей многозначной логики и интуиционистской логике. То же верно и для распределения конъюнкции по дизъюнкции и дизъюнкции по конъюнкции, а также для закона поглощения.

В классической логике и некоторых разновидностях многозначной логики конъюнкция и дизъюнкция двойственны, а отрицание самодвойственно, последнее также самодвойственно в интуиционистской логике.

Порядок старшинства

Вот таблица, которая показывает обычно используемый приоритет логических операторов.

Однако не все компиляторы используют один и тот же порядок; например, также использовался порядок, в котором дизъюнкция имеет более низкий приоритет, чем импликация или двойная импликация. Иногда приоритет между соединением и дизъюнкцией не указан, и требуется указать его явно в данной формуле в круглых скобках. Порядок приоритета определяет, какая связка является «основной связкой» при интерпретации неатомарной формулы.

Информатика

Источник

Логические связки

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

Содержание

Формальная логика

Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объема понятий, а также образование новых понятий.

К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:

К операциям, которые связаны преимущественно с объемами понятий, относятся:

Данные операции могут быть записаны математически с помощью теории множеств.

Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.

Математическая логика

В математической логике логические операции называют логическими связками. В качестве основных обычно называют конъюнкцию ( или &), дизъюнкцию (), импликацию (), отрицание (). В смысле классической логики логические связки могут быть определены через алгебру логики.

Программирование

Логические операции в программировании как правило служат для управления программой в зависимости от значения каких-то логических выражений или переменных. Наиболее известны конъюнкция (&&), дизъюнкция (||), отрицание (!). Их нередко путают с битовыми операциями, хотя это разные вещи. Например, следующий код на языке C:

не выполнит вызов подпрограммы some_condition(), если значение логической переменной action_required ложно. При такой операции второй аргумент операции && вообще не будет вычислен.

См. также

Ссылки

Логические операции с понятиями

Изменение содержания понятия: отрицание • ограничение • обобщение • деление
Изменение объёма понятия: сложение • умножение • вычитание

2 константы: 0 • 1Прочееимпликация ()

Полезное

Смотреть что такое «Логические связки» в других словарях:

ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… … Философская энциклопедия

логические связки — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN structural constants … Справочник технического переводчика

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

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

ЛОГИЧЕСКИЕ ОПЕРАЦИИ — логич. операторы, логич. связки, функции, преобразующие выражения логич. исчислений (формальных логич. систем); подразделяются на пропозициональные (сен тенциональные) связки, с помощью которых образуются выражения логики высказываний, и… … Философская энциклопедия

ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия

ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия

ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия

ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т … Современный философский словарь

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

Источник

СВЯЗКА

СВЯЗКА — в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами «есть», «суть», «является» и т. п., напр.: «Узбеки являются жителями Средней Азии». В обыденной речи С. часто опус­кается и приведенное выше предложение обычно выглядит так: «Уз­беки живут в Средней Азии». Однако даже если С. не выражена ка­ким-то специальным словом, она обязательно присутствуют в суж­дении. Напр., два понятия «город» и «населенный пункт» образуют суждение только после того, как их соединит С. «Город есть неселен­ный пункт». Поэтому схематическое представление простого сужде­ния включает в себя три элемента — субъект, предикат и связку: «5 есть Р«. С. может быть утвердительной или отрицательной («есть» или «не есть»). Именно этим определяется качество простого суждения. В символической логике пропозициональными связками называ­ют логические союзы (операторы), с помощью которых из про­стых высказываний получают сложные высказывания. К ним обычно относят отрицание, конъюнкцию, дизъюнкцию, импликацию и т. п. Условия истинности сложных высказываний, содержащих пропозициональные связки, формулируются посредством таблиц истин­ности. (См.: Суждение.)

Смотреть больше слов в « Словаре по логике »

Смотреть что такое СВЯЗКА в других словарях:

СВЯЗКА

СВЯЗКА

связка 1. ж. 1) Действие по знач. глаг.: связать (2*1а1). 2) а) Несколько однородных предметов, связанных вместе. б) перен. Группа альпинистов, идущих друг за другом и связанных страхующей веревкой. 3) разг. Веревка, шнур и т.п. для связывания, соединения вместе кого-л., чего- л. 2. ж. разг. Вспомогательный глагол, являющийся частью составного сказуемого; глагол-связка (в лингвистике). 3. ж. 1) Плотное образование из соединительной ткани, скрепляющее отдельные части скелета или соединяющее отдельные органы. 2) Часть суждения, соединяющая субъект с предикатом (в логике). 4. ж. Положение, при котором одна фигура защищает другую (в шахматной игре).

СВЯЗКА

связка ж.1. sheaf*; bunch связка бумаг — sheaf* of papers связка ключей — bunch of keys 2. анат. chord, copula, ligament голосовые связки — vocal cho. смотреть

СВЯЗКА

СВЯЗКА

СВЯЗКА в математике, двухпараметрическое семейство линий на плоскости или поверхностей в пространстве, линейно зависящее от параметров. Пусть F1, F2. смотреть

СВЯЗКА

СВЯЗКА, служебный грамматич. элемент составного сказуемого, обладающий размытой лексич. семантикой и служащий для выражения лишь грамматич. категорий. смотреть

СВЯЗКА

СВЯЗКА

СВЯЗКА

— двупараметрическое семейство линий на плоскости или поверхностей в пространстве, линейно зависящее от параметров. Пусть F1, F2, F3- функции дву. смотреть

Источник

Логическая связка

Содержание

На языке [ править ]

Естественный язык [ править ]

Различные английские слова и пары слов выражают логические связки, и некоторые из них являются синонимами. К ним, среди прочего, относятся:

Формальные языки [ править ]

Общие логические связки [ править ]

Список общих логических связок [ править ]

Обычно используемые логические связки включают: [1] [3]

Например, значение утверждений идет дождь (обозначено P ) и я в помещении (обозначено Q) трансформируется, когда эти два слова объединяются логическими связками:

Также часто считается, что всегда истинная формула и всегда ложная формула являются связными: [1]

История обозначений [ править ]

Избыточность [ править ]

Один из подходов состоит в том, чтобы выбрать минимальный набор и определить другие связки некоторой логической формой, как в примере с условным материалом выше. Ниже приведены минимальные функционально полные наборы операторов классической логики, арности которых не превосходят 2:

Свойства [ править ]

Некоторые логические связки обладают свойствами, которые могут быть выражены в теоремах, содержащих связку. Вот некоторые из свойств, которыми может обладать логическая связка:

Для классической и интуиционистской логики символ «=» означает, что соответствующие импликации «… →…» и «… ←…» для логических соединений могут быть доказаны как теоремы, а символ «≤» означает, что «… →…» для логические соединения являются следствием соответствующих связок «… →…» для пропозициональных переменных. Некоторые многозначные логики могут иметь несовместимые определения эквивалентности и порядка (следствия).

И конъюнкция, и дизъюнкция ассоциативны, коммутативны и идемпотентны в классической логике, большинстве разновидностей многозначной логики и интуиционистской логике. То же верно и для распределения конъюнкции по дизъюнкции и дизъюнкции по конъюнкции, а также для закона поглощения.

В классической логике и некоторых разновидностях многозначной логики конъюнкция и дизъюнкция двойственны, а отрицание самодвойственно, последнее также самодвойственно в интуиционистской логике.

Порядок приоритета [ править ]

Вот таблица, которая показывает обычно используемый приоритет логических операторов. [18]

Operator Precedence ¬ 1 ∧ 2 ∨ 3 → 4 ↔ 5 <\displaystyle <\begin<\text>&<\text>\\\hline \neg &1\\\land &2\\\vee &3\\\to &4\\\leftrightarrow &5\end>>

Однако не все компиляторы используют один и тот же порядок; например, также использовался порядок, в котором дизъюнкция имеет более низкий приоритет, чем импликация или двойная импликация. [19] Иногда приоритет между соединением и дизъюнкцией не указан, и требуется указать его явно в данной формуле с круглыми скобками. Порядок приоритета определяет, какая связка является «главной связкой» при интерпретации неатомарной формулы.

Информатика [ править ]

Источник