Как называется логическая связка которой в естественном языке соответствует выражение неверно что

Как называется логическая связка которой в естественном языке соответствует выражение неверно что

Тема 3. Основы математической логики 1. Логические выражения и логические операции.
2. Построение таблиц истинности и логических функций.
3. Законы логики и преобразование логических выражений.
Лабораторная работа № 3. Основы математической логики.

1. Логические выражения и логические операции

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

Простым высказыванием называют повествовательное предложение, относительно которого имеет смысл говорить, истинно оно или ложно.

Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным.

Высказывания 1 и 3 являются истинными. Высказывание 2 – ложным , потому что число 27 составное 27=3*3*3.

Итак, отличительным признаком высказывания является свойство быть истинным или ложным, последние четыре предложения этим свойством не обладают.

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

Однако определение истинности высказывания далеко не простой вопрос. Например, высказывание «Число 1 +22 = 4294 967297 — простое», принадлежащее Ферма (1601-1665), долгое время считалось истинным, пока в 1732 году Эйлер (1707-1783) не доказал, что оно ложно. В целом, обоснование истинности или ложности простых высказываний решается вне алгебры логики. Например, истинность или ложность высказывания «Сумма углов треугольника равна 180°» устанавливается геометрией, причем в геометрии Евклида это высказывание является истинным, а в геометрии Лобачевского — ложным.

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

Существуют разные варианты обозначения истинности и ложности логических переменных:

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

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

Связки «НЕ», «И», «ИЛИ» заменяются логическими операциями инверсия, конъюнкция, дизъюнкция. Это основные логические операции, при помощи которых можно записать любое логическое выражение.

Введем перечисленные логические операции.

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

Источник

ЛОГИЧЕСКИЕ СВЯЗКИ

Полезное

Смотреть что такое «ЛОГИЧЕСКИЕ СВЯЗКИ» в других словарях:

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

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

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

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

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

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

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

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

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

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

Источник

Логические операции. ➞ Что такое конъюнкция, дизъюнкция, импликация

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

Основные положения

Для начала следует разобраться, для чего нужна алгебра логики – главным образом, этот раздел математики и информатики, нужен для работы с логическими выражениями и высказываниями.

Логическим высказыванием называется утверждение (или запись), которое мы можем однозначно классифицировать, как истинное или ложное (1 или 0 в информатике).

Примером таким высказываний будут являться:

Логические высказывания делятся на два типа — простые и сложные.

В алгебре логики, как простые, так и сложные высказываниями описываются булевыми выражениями.

Булево выражение – это символическое (знаковое) описание высказывания.

Операции

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

Конъюнкция

Конъюнкция (булево умножение) — функция, по своему смыслу приближенная к союзу «И». При выполнении конъюнкции результат истинен (равен 1) тогда и только тогда, когда истинны ВСЕ переменные. Если хотя бы одно из высказываний ложно, то ложно и всё выражение (равно 0).

Функция может работать как с двумя операндами (высказываниями), так и с тремя, четырьмя и т.д. В математике обозначается с помощью знаков ​\( \wedge \) и &. Обозначение в языках программирования AND, &&. Таблица истинности для двух операндов:

Дизъюнкция

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

Булево сложение, также как и умножение, может работать с произвольным количеством операндов. В математике обозначается как V, а в программировании с помощью OR или I.

Инверсия

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

Импликация

Также называется булевым следованием. В русском языке данной функции соответствует оборот «Если …, то …». Например, если на улице гремит гром, то стоит пасмурная погода.

Эквивалентность

Булева тождественность или равенство. На простом языке будет обозначено как «… эквивалентно (равно) …». Результат будет истинным тогда, когда все значения в выражении будут иметь одинаковую истинность.

Обозначается с помощью трех черточек или ⟺.

Порядок выполнения операций

Логические операции выполняются в следующем порядке:

Если в формуле указаны скобки, то порядок выполнения действий в скобках точно такой же, как написано выше.

Пример

Дано два отрезка B = [2,10], C = [6,14]. Из предложенных вариантов ответа выберите такой отрезок A, что формула \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) истинна при любом значении z. Варианты ответа:

Решение: Подставим в уравнение \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) =1 значения B и C и составим таблицу истинности:

Получившаяся формула \( ((z \in A) \Longrightarrow (z \in [2,10])) \vee (z \in [6,14])=1 \). По условию ​​​\( z \in A \)=1.

Таблица истинности для всех отрезков:

Ответ: A = [3,11].

Видео

Заключение

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

Источник

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

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

Из указанных логических связок отрицание называется одноместной (унарной) связкой; другие называются двухместными (бинарными) связками. В принципе, логические связки могут быть сколь угодно местными, но на практике более, чем бинарные, используются очень редко. В классической логике (см. Логика) любые многоместные логические связки выразимы через перечисленные. Некоторый практический смысл даёт также использование тернарной логической связки, называемой условной дизъюнкцией, связывающей три высказывания 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», по крайней мере одно приходится признавать верным, что плохо сообразуется с обычным употреблением условной связки. Импликацию в данном случае специально называют «материальной», отличая её тем самым от условного союза, предполагающего, что между антецедентом и консеквентом истинного условного высказывания имеется действительная связь. При этом материальная импликация может прекрасно использоваться во многих контекстах, например, математических, когда при этом не забывают о её специфических особенностях. В некоторых случаях, однако, именно контекст не позволяет трактовать условный союз как материальную импликацию, предполагая взаимосвязь высказываний. Для анализа таких контекстов приходится строить специальные неклассические логики (например, релевантные логики), в язык которых вместо материальной импликации (или наряду с ней) вводятся другие импликации, которые понимаются интенсионально (содержательно) и верность которых не может быть обоснована истинностно-функционально. Интенсионально могут трактоваться также и другие логические связки.

Источник

ВЫРАЖЕНИЕ ЛОГИЧЕСКИХ СВЯЗОК (ЛОГИЧЕСКИХ ПОСТОЯННЫХ) В ЕСТЕСТВЕННОМ ЯЗЫКЕ

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

Конъюнкция (знак «л») выражается союзами «и», «а», «но», «да», «хотя», «который», «зато», «однако», «не только. но и» и др. В логике высказываний знак « л » соединяет простые выска­зывания, образуя из них сложные. В естественном языке союз «и» и другие слова, соответствующие конъюнкции, могут соединять существительные, глаголы, наречия, прилагательные и другие части речи. Например, «В корзине у деда лежали подберезовики и маслята» (aÙb), «Интересная и красиво оформленная книга лежит на столе». Последнее высказывание нельзя разбить на два простых, соединенных конъюнкцией: «Интересная книга лежит на толе» и «Красиво оформленная книга лежит на столе», — так как создается впечатление, что на столе лежат две книги, а не одна.

В логике высказываний действует закон коммутативности конъюнкции (aÙb)º(bÙa). В естественном русском языке такого закона нет, так как действует фактор времени. Там, где учитывается последовательность во времени, употребление союза «и» некоммутативно. Поэтому не будут эквивалентными, например, такие два высказывания: 1) «Прицепили паровоз, и поезд тро­нулся» и 2) «Поезд тронулся, и прицепили паровоз».

В естественном языке конъюнкция может быть выражена не только словами, но и знаками препинания: запятой, точкой с запятой, тире. Например, «Сверкнула молния, загремел гром, пошел дождь».

О выражении конъюнкции средствами естественного языка пишет С. Клини в своей книге «Математическая логика». В раз­деле «Анализ рассуждений» он приводит (не исчерпывающий) список выражений естественного языка, которые могут быть заменены символами « Л » или «&». Формула А ^ В в естествен­ном языке может выражаться так:

«Не только А, но и В. Как А, так и В.

В, несмотря на А. А, в то время как В» 7 .

Придумать примеры всех этих структур предоставляем чита­телю.

В естественном (русском) языке дизъюнкция (обозначенная aÚb и aÚb) выражается союзами: «или», «либо», «то ли. то ли» и др. Например, «Вечером я пойду в кино или в библиотеку»; «Это животное принадлежит либо к позвоночным, либо к беспоз­воночным»; «Доклад будет то ли по произведениям Л. Н. Тол­стого, то ли по произведениям Ф. М. Достоевского».

Для обоих видов дизъюнкции действует закон коммутативно­сти: (aÚbº(bÚa) и (aÚb)º(bÚa). В естественном языке эта эквивалентность сохраняется. Например, суждение «Я куплю ма­сло или хлеб» эквивалентно суждению «Я куплю хлеб или масло». С. Клини показывает, какими разнообразными способами могут быть выражены в естественном языке импликация (AÊB) и эквиваленция (A

(Буквами А и В обозначены переменные высказыва­ния.)

Если поставщики вовремя доставят детали, то завод выпол­нит свой производственный план.

2. Коль скоро А, то В.

Коль скоро приложенные силы снимаются, то сжатая пружина возвращается к своей первоначальной форме.

3. Когда А, имеет место В.

Когда наступает плохая погода, имеет место повышение числа сердечно-сосудистых заболеваний у людей.

4. Для В достаточно А.

Для того чтобы газы расширились, достаточно их нагреть.

5. Для А необходимо В.

Для сохранения мира на Земле необходимо объединить усилия всех государств в борьбе за мир.

Студенты этого курса не приходили на субботник, только если они были больны.

Я разрешу тебе пойти погулять, если ты выполнишь все домашние задания.

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

1. А, если и только если В.

Иванов не закончит свои эксперименты к сроку, если и только если ему не помогут сотрудники.

2. Если А, то В, и наоборот.

Если студент сдал все экзамены и практику на «отлично», то он получает диплом с отличием, и наоборот.

3. А, если В, и В, если А.

Многоугольник является вписанным в круг, если его вершины лежат на окружности, и вершины многоугольника лежат на окру­жности, если этот многоугольник является вписанным в круг.

4. Для А необходимо и достаточно В.

Для того чтобы число без остатка делилось на 3, необходимо и достаточно, чтобы сумма цифр этого числа делилась без остатка на 3.

5. А равносильно В (иногда).

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

6. А тогда и только тогда, когда В.

Фирма будет согласна принять предложение о покупке товара тогда и только тогда, когда будет снижена цена этого товара на 15%.

Импликация (a®b) не совсем соответствует по смыслу союзу «если. то» естественного языка, так как в ней может отсут­ствовать содержательная связь между суждениями а и b. В логике высказываний законом является формула:(a®b)º(aÚb).

Но в естественном языке дело обстоит иначе. Иногда союз «если, то» выражает не импликацию, а конъюнкцию. Например, «Если вче­ра было пасмурно, то сегодня ярко светит солнце». Это сложное суждение выражается формулой aÙb. Кроме логических связок для выражения общих и частных суждений в логике используются квантор общности и квантор существования. Запись с квантором общности VcP(c) обычно читается так: «Все х (из некоторой области объектов) обладают свойством Р», а запись с квантором существования ЗхР(х) чита­ется так: «Существуют такие х (в данной области), которые обладают свойством Р». Например, 3x(x>100) читается как «Существуют такие х, которые больше 100», где под х подразумева­ются числа. Квантор общности выражается словами: «все», «вся­кий», «каждый», «ни один» и др. Квантор существования выража­ется словами: «некоторые», «существуют», «большинство», «ме­ньшинство», «только некоторые», «иногда», «тот, который», «не все», «многие», «немало», «немногие», «много», «почти все» и др.

Учащимся на уроках математики предлагаются задачи типа 1—4, требующие в каждом из следующих предложений вместо многоточия поставить слова: «необходимо» или «достаточно», либо «необходимо и достаточно»:

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

Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого.

Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов (88‰).

Источник