- •Раздел 1.Информация
- •1.1. Основные понятия и подходы
- •1.2. Формы существования информации.
- •1.3. Свойства информации
- •1.4. Показатели качества информации
- •1.5. Количество информации
- •Раздел 2. Системы счисления
- •2.1. Основные понятия
- •2.2. Перевод целых чисел в десятичную систему счисления
- •2.3. Перевод целых чисел в машинные системы счисления
- •2.4. Перевод дробных чисел из десятичной системы счисления в систему счисления с основанием q
- •2.5. Арифметические операции с целыми числами в машинных системах счисления
- •2.6. Представление числовой информации в вычислительной технике
- •Раздел 3. Элементы математической логики
- •3.1. Основные понятия математической логики
- •3.2. Логические операции над высказываниями
- •3.3. Формулы логики высказываний
- •3.4. Законы логики высказываний
- •3.5. Логические основы эвм
- •Раздел 4. Модель и моделирование
- •4.1. Модель
- •4.2. Формализация
- •4.3. Классификация моделей:
- •4.4. Моделирование
- •4.5. Компьютерное моделирование
- •Раздел 5. Основы алгоритмизации
- •5.1. Основные понятия
- •5.2. Линейные алгоритмические процессы
- •5.3. Разветвляющиеся алгоритмические процессы
- •5.4. Циклические алгоритмические процессы
- •Раздел 6. Программное обеспечение
- •Библиографический список
3.2. Логические операции над высказываниями
Сложные высказывания образуются из простых при помощи союзов «и», «или», оборотов «если,… то», «тогда и только тогда» и т. д. В математической логике эти союзы называются логическими связками.
Истинность сложного высказывания зависит от того, истинны или ложны входящие в него простые высказывания.
Над высказываниями можно выполнять следующие логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция.
Отрицанием (инверсией) высказывания A называется новое высказывание , которое истинно тогда, когда исходное высказывание ложно, и ложно тогда, когда исходное высказывание истинно. Отрицанию соответствует частица «не», или выражение «не верно, что…».
Например. Высказывание A – «В 1 байте 10 бит» – ложное высказывание, отрицанием этого высказывания является высказывание – «Не верно, что в 1 байте 10 бит», которое является истинным высказыванием; – «1 Кбайт содержит 1024 байта» – истинное высказывание,– «1 Кбайтне содержит 1024 байта» – ложное высказывание.
Конъюнкцией (логическим умножением) двух высказываний A и B называется новое высказывание , которое истинно, когда оба высказыванияA и B истинны, и ложно во всех остальных случаях. Соответствует союз «и».
Например. Высказывание A – «В 1 байте 10 бит» – ложное, B – «1 Кбайт содержит 1024 байта» – истинное высказывание, конъюнкции высказываний A и соответствует предложение «В 1 байте 10 бит и 1 Кбайт содержит 1024 байта», которое является ложным высказыванием.
Дизъюнкцией (логическим сложением) двух высказываний A и B называется новое высказывание , которое ложно, когда оба высказыванияA и B ложны, и истинно во всех остальных случаях. Соответствует союз «или».
Например. Высказывание A – «1 Кбайт содержит 1000 байт» – ложное, B – «1 Кбайт содержит 1024 байта» – истинное высказывание, дизъюнкции высказываний A и B соответствует предложение «1 Кбайт содержит 1000 или 1024 байта», которое является истинным высказыванием.
Импликацией двух высказываний A и B называется новое высказывание , которое ложно, когдаA – истинно, а B – ложно, и истинно во всех остальных случаях. Соответствуют выражения «если A, то B», «A влечет за собой B», «A достаточно для B».
Например. Высказывание A – «Все стороны треугольника равны» – истина, B – «Сумма углов треугольника равна » – истинное высказывание, импликации высказыванийA и B соответствует предложение «Если все стороны треугольника равны, то сумма углов треугольника равна », которое является истинным высказыванием. При этом, если в предложении высказыванияA и B поменять местами, то получим импликацию высказываний B и A («Если сумма углов треугольника равна ,то все его стороны равны»), которая также будет являться истинным высказыванием.
Эквиваленцией двух высказываний A и B называется новое высказывание , которое истинно, когда оба высказыванияA и B принимают одинаковые логические значения, и ложно во всех остальных случаях. Соответствуют выражения «A тогда и только тогда, когда B», «A необходимо и достаточно для B».
Например. Высказывание A – «Число делится на два» – истина, B – «Последняя цифра числа делится на 2» – истинное высказывание, эквиваленции высказываний A и B соответствует предложение «Число делится на 2 тогда и только тогда, когда его последняя цифра делится на 2», которое является истинным высказыванием.
Сложение по модулю два (исключающее или) двух высказываний A и B – это высказывание которое ложно, когда оба высказывания A и B принимают одинаковые логические значения, и истинно во всех остальных случаях.
Результаты всех логических операций можно представить в виде следующей таблицы:
|
|
|
|
|
|
| |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |