Как заменить следование в информатике

Импликация и логическое следование

Ещё одна важная связка $A\to B$, называется импликацией. Она ложна только для комбинации $\T\to \F$, что интерпретируется как «из истины нельзя получить ложь». В остальных случаях она истинна:

Из истины «следует» истина, поэтому $\T \to \T$ это $\T$. Из лжи можно вывести что угодно, поэтому $\F \to \F$ и $\F \to \T$ считаются истинными. Аргументы импликации называются посылкой и следствием.

Для высказываний интерпретация импликации, как логического следования выглядит странной.
Так $(2\cdot 2=4) ~\to~~$ «Солнце это звезда» — истинная формула, хотя посылка и следствие между собой ни как не связаны.

Лучше ситуация для предикатов. Например, в арифметике при любом $x$ истинно утверждение: «если \(x 2) \to (x

Логическое следование

Пусть $P=P(A,B(x). )$ и $Q=Q(A,C(x,y). )$ формулы, зависящие от высказываний и предикатов. Эти формулы равны $\T$ или $\F$ при определённых значениях, входящих в них элементарных утверждений.

Например: \[ A ~\Rightarrow~ A\vee B,~~~~~~~~~~~~~~~~A\,\&\,B ~\Rightarrow~ A. \] Так, первое следование означает, что если $A$ истинно, то для любого $B$, дизъюнкция $A\vee B$ будет истинной. Справедлива теорема:

Если $P\Rightarrow Q$, то формула $P\to Q$ — это тавтология и наоборот.

Например, формула $A \to (A\vee B)$ — общезначима. Импликация $P\to Q$ (бинарная функция), в отличие от следования $P\Rightarrow Q$, определена и когда $P$ ложно. При логическом же следовании подразумевается истинность посылки. В частности, справедливо правило modus ponens:

означающее, что если обе посылки $P$ и $P\to Q$ истинны, то истинна и формула $Q$. Если $P\equiv\F$, то $Q$ — это $\T$ или $\F$. Стоит проверить общезначимость формулы $P\,\&\,(P\to Q) \to Q$.

Следствие обладает транзитивностью: \[если~P\Rightarrow X~ и~X\Rightarrow Q,~то~P\Rightarrow Q.\]

Следствие в общем случае не симметрично. Так, $A ~\Rightarrow~ A\vee B$ ( справедливо только в одну сторону и из $A\vee B$ не следует $A$ (поэтому $A\vee B \to A$ не тавтология. Тем не менее, существуют и следования в обе стороны: $\Leftrightarrow$. Например: $A\vee B ~\Leftrightarrow B\vee A$ или двухстороннее правило: \[ A\,\&\, B ~\Leftrightarrow A,~~ B. \] Вправо, это $A\,\&\, B\Rightarrow A$, влево оно означает: когда обе посылки $A$ и $B$ истинны, истинна и их конъюнкция.

Двухсторонний вывод $P\Leftrightarrow Q$ аналогичен функции эквивалентности $P\equiv Q$. Утверждения: «если $P$, то $Q$ и наоборот», «$P$ тогда и только тогда, когда $Q$» означают $P\Leftrightarrow Q$.

Если $P\Rightarrow X\Rightarrow Q$, то $P$ называют достаточным условием, а $Q$ — необходимым условием для $X$. Когда необходимое и достаточное условия совпадают, то они совпадают и с $X$: $P\equiv Q\equiv X$.

Прямой логический вывод

Большинство рассуждений в математике можно разделить на прямые и обратные. Получение по $(\bf MP)$ из двух формул $P$ и $P\to Q$ третей формулы $Q$ является примером прямого логического следования. Ещё одно, более мощное, правило прямого следования называется резолюцией: \[ ()~~~~~~~~~~~~~~~P\vee S ,~~~ \neg P \vee Q ~~~~~\Rightarrow~~~~~S\vee Q. \] Действительно: так как $P$ и $\neg P$ не могут быть одновременно истинными, а посылки $P \vee\, S$ и $\neg P\vee Q $ истинны по определению, то истинно $S$ или $Q$. Если $S$ — ложно, получается частный случай $()$. Стоит также проверить, что $(P\vee S) \,\&\,(\neg P \vee Q) ~\to~S\vee Q$ — это тавтология.

Вариантом резолюции является метод цепочек импликаций: \[ P\to S,~~~S\to Q ~~~~~\Rightarrow~~~~~ P\to Q. \] Если в каждой формуле выразить импликацию через дизъюнкцию (заменить $P\to S$ на $\neg P\vee S$), то получится следование, совпадающее с резолюцией точностью до переобозначений: \[\neg P \vee \underline,~~\neg \underline \vee Q~~\overset<\Rightarrow>~~ \neg P\vee Q\].

Метод разбора случаев — ещё один пример прямых рассуждений. Пусть из $P$ необходимо вывести $Q$. Рассмотрим несколько утверждений, например, $P_1$ и $P_2$, объединение которых равно $P$. Говорят, что $P_1$ и $P_2$ покрывают все возможные случаи. Если из каждого утверждения $P_i$ следует $Q$, то оно следует и из $P=P_1\vee P_2$: \[ P_1\vee P_2,$P_1\to Q,$P_2\to Q $~~\Rightarrow$~Q. \] $\lhd$ Докажем это правило при помощи резолюции: \[ \underline\vee P_2,$\neg \underline\vee Q,$\neg P_2\vee Q $~~\overset<\Rightarrow>$$ \underline<\underline>\vee Q,$\neg \underline<\underline>\vee Q$~~\overset<\Rightarrow>$~Q. \] Формула и её отрицание подчёркнуты. В первом выводе это $P_1$ и из формул $P_1\vee P_2$ и $\neg P_1\vee Q$ следует $P_2\vee Q$. Во втором выводе формула и её отрицание — это $P_2$, а резолюция приводит к $Q\vee Q~\Leftrightarrow~ Q$. $\square$

Приведём в качестве неформального примера простую теорему:

Если числа $x,y\in \mathbb N$ имеют одинаковую чётность, то $x+y$ — чётно.

$\lhd$ Рассмотрим два случая: $P_1: \mathrm(x)\,\&\,\mathrm(y)$ и $P_2: \mathrm(x)\,\&\,\mathrm(y)$. По условию теоремы $P_1\vee P_2$ является посылкой.
По определению $\mathrm(x)$ и $P_1$, существуют такие $n,m\in \mathbb N$, что $x=2n$ и $y=2m$. Тогда $x+y=2(n+m)$ — чётно ($Q$).
Во втором случае $P_2:$ $x=2n+1$, $y=2m+1$ и $x+y=2(n+m+1)$ также чётно (снова $Q$). Поэтому теорема истинна. $\square$

Доказательство от противного

Доказательство от противного — исключительно важный обратный метод. В нём, вместо прямого заключения $P ~\Rightarrow~ Q$, показывают, что $P$ и отрицание $Q$ противоречивы, т.е. из них следует всегда ложное утверждение, подобное $A\,\&\,\neg A\equiv \F$:

\[ P~\&~\neg Q ~\to~~\F~~~~~~~~~\Leftrightarrow~~~~~~~~~~P ~\to~ Q. \] На рисунке область истинности формулы $P$ является подмножеством области истинности $Q$, поэтому отрицание $Q$ (серый цвет) и $P$ не пересекаются ($P\,\&\,\neg Q\equiv \F$). Несложно видеть, что $\neg (P\, \&\, \neg Q) ~\equiv~ P\to Q$. Дадим также формальное доказательство метода от противного.

$\lhd$ Пусть $P\,\&\,\neg Q~\to~\F$ истинно. Тогда по определению импликации $P\,\&\,\neg Q$ ложно. Для $\$ возможно 3 варианта $\<\F,\,\F\>$, $\<\F,\,\T\>$ и $\<\T,\,\T\>$. Для всех них $P\to Q$ истинно. Аналогично для логического следования в обратную сторону. $\square$

Доказательство от противного это очень мощный метод. Существует множество математических утверждений, для которых известно только доказательство от противного.

Косвенное доказательство — это частный случай метода от противного. В нём, вместо $P \to Q$, выясняется, что $\neg Q \to \neg P$. Если это так, то значит справедливо и $P \to Q$: \[ \neg Q ~\to~ \neg P ~~~~~~~~~\Leftrightarrow~~~~~~~~~~P ~\to~ Q. \] Фактически $\neg Q\to \neg P$ равно $Q\vee \neg P$, что эквивалентно $P\to Q$.

Подобный метод вывода может показаться тривиальной тавтологией. Однако это не так. На практике берут отрицание $\neg Q$. Из этой формулы логически выводят (иногда довольно сложным образом) формулу $\neg P$. Если построен вывод $\neg Q~\Rightarrow~\neg P$, то, как мы видели выше, формула $\neg Q\to \neg P$ оказывается тавтологией. Именно на этом этапе, при помощи косвенного доказательства, выводится $P\to Q$. Наконец, если посылка $P$ считается истинной, то по правилу $()$ из $P$ и $P\to Q$ выводится $Q$.

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

$\sqrt<2>$ — иррационально, т.е. не представимо в виде $n/m$, где $n,m\in \mathbb N$.

$\lhd$ В качестве $P$ выступают стандартные аксиомы арифметики.
Необходимо доказать $Q:~\sqrt\neq n/m$, где $n/m$ несократимая дробь.
Пусть $\neg Q: ~\sqrt=n/m$. Тогда $n^2=2m^2$ и следовательно $n$ — чётно, т.е. $n=2k$.
Но тогда $(2k)^2 = 2m^2$ или $m^2 = 2k^2$, т.е. $m$ — также чётно, а это противоречит несократимости дроби $n/m$.
Поэтому $Q$ истинно. $\square$

Как заменить следование в информатике

1. Используйте условный оператор if-else. Он позволяет выполнить определенный код в зависимости от истинности условия.

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

3. Введите код с использованием оператора if-else. Напишите условие внутри скобок после if (если условие истинно) и после else (если условие ложно).

4. Между фигурными скобками внутри if-else введите код, который нужно выполнить, если условие истинно или ложно соответственно.

5. Перепроверьте код на наличие ошибок и опечаток. Убедитесь, что условие написано правильно и соответствует заданной задаче замены оператора следования.

Полезные советы:
— При замене оператора следования обратите внимание на логику программы и верную последовательность действий.
— Используйте операторы сравнения, такие как == (равно), != (не равно), (больше), = (больше или равно), для определения условий.
— Не забывайте о необходимости обработки всех возможных вариантов условий с помощью оператора else или else if.
— Применяйте отступы для лучшей читаемости кода и избегайте лишних скобок в условиях.

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

Логика

f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).

1.2. Два логических выражения, содержащих переменные, называются равносильными (эквивалентными), если значения этих выражений совпадают при любых значениях переменных. Так, выражения А → В и (¬А) \/ В равносильны, а А /\ В и А \/ В – нет (значения выражений разные, например, при А = 1, В = 0).

1.3. Приоритеты логических операций: инверсия (отрицание), конъюнкция (логическое умножение), дизъюнкция (логическое сложение), импликация (следование), тождество. Таким образом, ¬А \/ В \/ С \/ D означает то же, что и

Возможна запись А \/ В \/ С вместо (А \/ В) \/ С. То же относится и к конъюнкции: возможна запись А /\ В /\ С вместо (А /\ В) /\ С.

2. Свойства

Приведенный ниже список НЕ претендует на полноту, но, надеемся, достаточно представителен.

2.1. Общие свойства

Для набора из n логических переменных существует ровно 2n различных значений. Таблица истинности для логического выражения от n переменных содержит n+1 столбец и 2n строк.

2.2.Дизъюнкция

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

2.3. Конъюнкция

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

2.4. Простые дизъюнкции и конъюнкции

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

Простая конъюнкция принимает значение 1 (истина) ровно на одном наборе значений переменных.
Простая дизъюнкция принимает значение 0 (ложь) ровно на одном наборе значений переменных.

2.5. Импликация

Импликация A →B равносильна дизъюнкции (¬А) \/ В. Эту дизъюнкцию можно записать и так: ¬А \/ В.
Импликация A →B принимает значение 0 (ложь) только если A=1 и B=0. Если A=0, то импликация A →B истинна при любом значении B.

Знаки логических операций в информатике

Конъюнкция или логическое умножение (в теории множеств – это пересечение)

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

Обозначение: &, $wedge$, $cdot$.

Таблица истинности для конъюнкции

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

Дизъюнкция или логическое сложение (в теории множеств это объединение)

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

Попробуй обратиться за помощью к преподавателям

Таблица истинности для дизъюнкции

Если хотя бы одно из подвыражений дизъюнкции истинно на некотором наборе значений переменных, то и вся дизъюнкция принимает истинное значение для данного набора подвыражений.
Если все выражения из некоторого списка дизъюнкции ложны на некотором наборе значений переменных, то и вся дизъюнкция этих выражений тоже ложна.
Значение всей дизъюнкции не зависит от порядка записи подвыражений (как в математике – сложение).

Отрицание, логическое отрицание или инверсия (в теории множеств это отрицание)

Отрицание — означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО и в итоге получаем, что если исходное выражение истинно, то отрицание исходного – будет ложно и наоборот, если исходное выражение ложно, то его отрицание будет истинно.

Задай вопрос специалистам и получи
ответ уже через 15 минут!

Обозначения: не $A$, $ar$, $¬A$.

Таблица истинности для инверсии

«Двойное отрицание» $¬¬A$ является следствием суждения $A$, то есть имеет место тавтология в формальной логике и равно самому значению в булевой логике.

Импликация или логическое следование

Импликация — это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть, данная логическая операция связывает два простых логических выражения, из которых первое является условием ($A$), а второе ($A$) является следствием условия ($A$).

Обозначения: $ o$, $Rightarrow$.

Таблица истинности для импликации

$A o B = ¬A vee B$.
Импликация $A o B$ ложна, если $A=1$ и $B=0$.
Если $A=0$, то импликация $A o B$ истинна при любом значении $B$, (из лжи может следовать истинна).

Эквивалентность или логическая равнозначность

Эквивалентность — это сложное логическое выражение, которое истинно на равных значениях переменных $A$ и $B$.

Обозначения: $leftrightarrow$, $Leftrightarrow$, $equiv$.

Таблица истинности для эквивалентности

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

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

Для функции трёх и более переменных результат выполнения операции будет истинным только тогда, когда количество аргументов равных $1$, составляющих текущий набор — нечетное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции.

Обозначения: $A oplus B$ (в языках программирования), $A≠B$, $A wedge B$ (в языках программирования).

Таблица истинности для операции сложения по модулю два

Свойства строгой дизъюнкции:

Стрелка Пирса

Бинарная логическая операция, булева функция над двумя переменными. Названа в честь Чарльза Пирса и введена в алгебру логики в $1880—1881$ гг.

Обозначения: $downarrow$ , ИЛИ-НЕ

Таблица истинности для стрелки Пирса

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

Читайте также: Как можно разрезать газовый баллон

$X downarrow X = ¬X$— отрицание

$(X downarrow Y) downarrow (X downarrow Y) equiv X vee Y$ — дизъюнкция

$(X downarrow X) downarrow (Y downarrow Y) equiv X wedge Y$ — конъюнкция

$((X downarrow X) downarrow Y) downarrow ((X downarrow X) downarrow Y) = X o Y$ — импликация

В электронике стрелка Пирса представлена в виде элемента, который носит название «операция 2ИЛИ-НЕ» (2-in NОR).

Штрих Шеффера

Булева функция двух переменных или бинарная логическая операция. Введена в рассмотрение Генри Шеффером в 1913 г.

Обозначения: $|$, эквивалентно операции И-НЕ.

Таблицей истинности для функции штрих Шеффера

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

Для электроники это означает, что реализация схем возможна с использованием одного типового элемента (правда это дорогостоящий элемент).

Порядок выполнения логических операций в сложном логическом выражении

Инверсия(отрицание);
Конъюнкция (логическое умножение);
Дизъюнкция и строгая дизъюнкция (логическое сложение);
Импликация (следствие);
Эквивалентность (тождество).

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

Общие свойства

Для набора из $n$ логических переменных существует ровно $2^n$ различных значений. Таблица истинности для логического выражения от $n$ переменных содержит $n+1$ столбец и $2^n$ строк.

Так и не нашли ответ
на свой вопрос?

Просто напиши с чем тебе
нужна помощь

Методы вычисления

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

При передачи данных через онлайн-сервисы и с помощью ЭВМ операторы используют специализированные термины. Под высказываниями подразумеваются повествовательные предложения, которые могут быть истинными (1) либо ложными (0). Операция — мыслительное действие, в результате которого изменяется объём либо содержание, образуется новое понятие.

Элементы выражения, утверждения либо записи:

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

отрицание (инверсия);
умножение (конъюнкция);
сложное и простое сложение (дизъюнкция);
следствие (импликация);
тождество (эквивалентность).

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

Согласно формуле, истинно в том и только в том случае, если 2 простых высказывания являются истинными. Подобное значение возможно в одном случае, а во всех других оно ложное. Обозначение конъюнкции: &, ∧.

Описание операций:

= «основателем высшей математики является Буль»;
= «графические исследования Шеннона используются в алгебре».

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

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

Логическое сложение

В информатике часто используется такой вид операции, как дизъюнкция. Случай, когда нужно исключать истинное сложение — все подвыражения ложны. Символы, которые используются для обозначения операции: +, ∨. Базис свойств сложного сложения:

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

Результат не зависит от порядка расположения знаков логической операции. Для решения дизъюнкции используются 2 выражения. Первое: = «Лейбниц применил в информатике математические символы», второе: = «Лейбниц основал бинарную арифметику».

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

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

Использование частиц

Инверсия — ещё одна операция, которую применяют ежедневно операторы ЭВМ для обработки и передачи данных. Принцип преобразования отрицания: каждому тезису ставится новое высказывание, противоположное первоначальному. Инверсия либо отрицание означает, что к исходному выражению приставляется частица «не» либо слово «неверно», «что». Расшифровка логической операции:

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

Читайте также: Как включить вай фай на телевизоре dexp

Чтобы править запись инверсии, применяются специальные знаки логической операции: «НЕ», «А», «¬А». Для логического отрицания характерны некоторые свойства. Считается, что «двойное отрицание» (обозначается «¬ ¬A») — следствие суждения А. Оно указывает на тавтологию логического формата и равняется значению в булевой логистике.

Высказывание «Я имею компьютер» имеет отрицание «Неверно, что я имею компьютер» либо «У меня нет компьютера». Выражение «Я не знаю японский язык» имеет отрицание «Неверно, что я не знаю японский язык» либо «Я знаю японский язык». Другой пример инверсии: «Все ученицы 8 класса — отличницы». Отрицание можно составить следующим образом:

«неверно, что все ученицы 8 класса — отличницы»;
«не все ученицы 8 класса — отличницы».

Когда строится отрицание к простому высказыванию, либо применяется оборот из русского языка «неверно, что…», либо отрицание формируется для сказуемого, тогда к глаголу рекомендуется добавить частицу «не». Логическое умножение с символом «и» должно выполняться раньше сложения с «или».

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

Для изменения порядка выполнения действия расставляются скобки. В конце выполненных операций проводится импликация. Это сложное выражение считается истинным в любом случае, исключение — из истины следует ложь. Операция позволяет связать 2 простых высказывания, из которых первое считается условием, а второе — следствием.

Для вычисления результата составного высказывания достаточно выяснить только значение 1 составного элемента. Если в схеме с «и» используется ложное простое высказывание, то результат составного будет ложным. Когда в составном предложении с «или» значения одного простого символа истинное, тогда результат всего выражения будет истинным.

Закон Пирса

В информатике используется булевая функция, названная в честь Пирса. Впервые стрелку Пирса ввели ученые в алгебру в 1880 г. г. Она обозначается следующим образом: ↓, «или-не». Свойства функции:

формирование базиса для булевых функций 2-х неизвестных;
построение других операций (отрицание: X↓X=¬X).

В информатике выражение представлено в виде элемента, который называется «операция 2ИЛИ-НЕ». Другая функция, которая часто применяется в электронике, называется штрихом Шеффера. Операция состоит из 2-х неизвестных либо бинарного элемента. Штрих используется с 1913 года. Он обозначается как |, что эквивалентно «и-не».

Его главные свойства:

основа функции, состоящей из 2-х переменных;
возможность построения иных высказываний (X ∣ X=¬X — отрицание).

В информатике операция используется с целью реализации схем путём применения типового, но дорогостоящего элемента. Из всех существующих логических операций приоритет отдаётся инверсии. Чтобы выразить логические сущности, операторы применяют разные символы. Специалисты решают задачи в уме, передавая через сервисы только конечный результат. Для обработки данных они используют схемы всех высказываний. Вычисления производятся быстрее на ЭВМ, компьютерах с мощным жёстким диском.

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

Отрицание

Перед тем как начать подробно рассматривать конкретные примеры, перечислим основные логические операции в информатике:

Также перед началом изучения логических операций стоит сказать, что в информатике ложь обозначается «0», а правда «1».

Для каждого действия, как и в обычной математике, используются следующие знаки логических операций в информатике: ¬, v, &, ->.

Каждое действие возможно описать либо цифрами 1/0, либо просто логическими выражениями. Начнём рассмотрение математической логики с простейшей операции, использующей всего одну переменную.

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

При записи этого выражения используется следующее обозначение «¬A».

Приведём таблицу истинности — схему, которая показывает все возможные результаты операции при любых исходных данных.

То есть, если у нас исходное выражение — истина (1), то его отрицание будет ложным (0). А если исходное выражение — ложь (0), то его отрицание — истина (1).

Сложение

Оставшиеся операции требуют наличия двух переменных. Обозначим одно выражение —

Читайте также: Известковая вода как смягчить

Е=1, Н=1 ,тогда Е v Н = 1. Если оба выражения истинны, тогда и их дизъюнкция также истинна.
Е=0, Н=1 ,в итоге Е v Н = 1. Е=1, Н=0 , тогда Е v Н= 1. Если хотябы одно из выражений истинно, тогда и результат их сложения будет истиной.
Е=0, Н=0 ,результат Е v Н = 0. Если оба выражения ложны, то их сумма также — ложь.

Для краткости создадим таблицу истинности.

Умножение

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

Е=1, Н=1 ,тогда Е & Н = 1. Если оба выражения истинны, тогда их конъюнкция — истина.
Если хотя бы одно из выражений — ложь, тогда результатом логического умножения также будет ложь.

Е=1, Н=0, поэтому Е & Н = 0.
Е=0, Н=1, тогда Е & Н = 0.
Е=0, Н=0, итог Е & Н = 0.

Следствие

Логическая операция следования (импликация) — одна из простейших в математической логике. Она основана на единственной аксиоме — из правды не может следовать ложь.

Е=1, Н=, поэтому Е -> Н = 1. Если пара влюблена, то они могут целоваться — правда.
Е=0, Н=1, тогда Е -> Н = 1. Если пара не влюблена, то они могут целоваться — также может быть истиной.
Е=0, Н=0, из этого Е -> Н = 1. Если пара не влюблена, то они и не целуются — тоже правда.
Е=1, Н=0, результатом будет Е -> Н = 0. Если пара влюблена, то они не целуются — ложь.

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

Равенство

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

А=1, В=1, тогда А≡В = 1. Человек пьёт таблетки тогда и только тогда, когда болеет. (истина)
А=0, В=0, в итоге А≡В = 1. Человек не пьёт таблетки тогда и только тогда, когда не болеет. (истина)
А=1, В=0, поэтому А≡В = 0. Человек пьёт таблетки тогда и только тогда, когда не болеет. (ложь)
А=0, В=1 ,тогда А≡В = 0. Человек не пьёт таблетки тогда и только тогда, когда болеет. (ложь)

Свойства

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

Порядок выполнения действий следующий.

Для того чтобы решить этот пример, нам потребуется построить расширенную таблицу истинности. При её создании помните, что столбцы лучше располагать в том же порядке, в каком и будут выполняться действия.

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

Заключение

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

Как заменить следование в информатике

Импликация и логическое следование

Логическое следование

Прямой логический вывод

Доказательство от противного

Как заменить следование в информатике

Логика

2. Свойства

Знаки логических операций в информатике

Конъюнкция или логическое умножение (в теории множеств – это пересечение)

Дизъюнкция или логическое сложение (в теории множеств это объединение)

Отрицание, логическое отрицание или инверсия (в теории множеств это отрицание)

Импликация или логическое следование

Эквивалентность или логическая равнозначность

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

Стрелка Пирса

Штрих Шеффера

Порядок выполнения логических операций в сложном логическом выражении

Общие свойства

Методы вычисления

Логическое сложение

Использование частиц

Закон Пирса

Отрицание

Сложение

Умножение

Следствие

Равенство

Свойства

Заключение

Похожие записи:

Добавить комментарий Отменить ответ