Основы логики.

Логические операции.
Логика – наука о законах и
формах мышления.

Логическое высказывание – это

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

I. Инверсия.
II. Конъюнкция.
III. Дизъюнкция.
IV. Строгая дизъюнкция.
V. Импликация
VI. Эквивалентность.
 ИНВЕРСИЯ
Отрицание – это логическая операция,
которая каждому простому высказыванию
ставит в соответствие высказывание,
заключающееся в том, что исходное
высказывание отрицается.

Логическое отрицание Обозначения:

1) НЕ Ā, ¬A, not A, НЕ А.
2) НЕВЕРНО, ЧТО
 ИНВЕРСИЯ
Таблица истинности Диаграмма Эйлера-Венна

А Ā
0 1 А Ā
1 0

Пример:
А - Дождя не будет
Ā - Неверно, что дождя не будет
 КОНЪЮНКЦИЯ
Конъюнкция – это логическая операция,
ставящая в соответствие каждым двум
простым высказываниям составное
высказывание, являющееся истинным
тогда и только тогда, когда оба исходных
высказывания истинны.

Логическое умножение Обозначения:

И &, and, ,•.

 КОНЪЮНКЦИЯ
Таблица истинности Диаграмма Эйлера-Венна

А В А&В
0 0 0
0 1 0
1 0 0
1 1 1

Пример:
А - Дождя не будет.
В - Небо голубое.
А&В - Дождя не будет и небо голубое.
 ДИЗЪЮНКЦИЯ
Дизъюнкция – это логическая операция, которая
каждым двум простым высказываниям ставит в
соответствие составное высказывание,
являющееся ложным тогда и только тогда, когда
оба исходных высказывания ложны и истинным,
когда хотя бы одно из образующих его
высказываний истинно.

Логическое сложение Обозначения:

ИЛИ OR, V, +
 ДИЗЪЮНКЦИЯ
Таблица истинности Диаграмма Эйлера-Венна

А В АVВ
0 0 0
0 1 1
1 0 1
1 1 1

Пример:
А - Дождя не будет.
В - Небо голубое.
А V В - Дождя не будет или небо голубое.
СТРОГАЯ ДИЗЪЮНКЦИЯ
Сложение по mod 2 – это логическая
операция, ставящая в соответствие двум
простым высказываниям составное
высказывание, являющееся истинным, если
истинно только одно из высказываний и
ложным в противном случае.

Сложение по mod 2 Обозначения:

ЛИБО, ЛИБО XOR, 
СТРОГАЯ ДИЗЪЮНКЦИЯ
Таблица истинности Диаграмма Эйлера-Венна

А В АВ
0 0 0
0 1 1
1 0 1
1 1 0

Пример:
А - Дождя не будет.
В - Небо голубое.
А xor В - Либо дождя не будет, либо небо голубое.
 ИМПЛИКАЦИЯ
Импликация – это логическая операция,
ставящая в соответствие каждым двум
простым высказываниям составное
высказывание, являющиеся ложным тогда и
только тогда, когда условие (первое
высказывание) истинно, а следствие (второе
высказывание) ложно.

Следование Обозначения:
ЕСЛИ, ТО , ═>
 ИМПЛИКАЦИЯ
Таблица истинности Диаграмма Эйлера-Венна
А В АВ
0 0 1
0 1 1
1 0 0
1 1 1

Пример:
А - Дождя не будет.
В - Небо голубое.
А  В - Если дождя не будет, то небо голубое.
 ЭКВИВАЛЕНТНОСТЬ
Эквивалентность – это логическая операция,
ставящая в соответствие двум простым
высказываниям составное высказывание,
являющиеся истинным тогда и только тогда,
когда оба исходных высказывания
одновременно истинны или одновременно
ложны.

Равнозначность Обозначения:
1) Если и только если , ,  , 
2) Тогда и только тогда, когда
ЭКВИВАЛЕНТНОСТЬ
Таблица истинности: Диаграмма Эйлера-Венна
А В АВ
0 0 1
0 1 0
1 0 0
1 1 1

Пример:
А - Дождя не будет. В - Небо голубое.
АВ - Дождя не будет тогда и только тогда, когда
небо голубое.
 Приоритет операций
1. Действия в скобках;
2. Инверсия;
3. Конъюнкция
4. Дизъюнкция, строгая дизъюнкция
5. Импликация
6. Равнозначность