тематический язык
Работа добавлена на сайт samzan.net:
6 Алгебра логики
Свое понимание окружающего мира человек формирует в форме высказываний (суждений, утверждений). Высказывания могут быть выражены с помощью не только естественных языков, но и формальных.
Пример: Естественный язык - "Два умножить на два равно четыре" , формальный (математический) язык - " 2*2=4 " .
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.
Высказывание может быть либо истинно, либо ложно.
Алгебра логики (высказываний) была разработана для того, чтобы можно было определять истинность или ложность составных высказываний, не вникая в их содержание.
В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита.
Пример:
А="Два умножить на два равно четырем"
B="Два умножить на два равно пяти"
Истинному высказыванию соответствует значение логической переменной 1, а ложному - значение 0. В нашем случае первое высказывание истинно (А=1), а второе ложно (В=0).
В алгебре логики (высказываний) высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: "ИСТИНА" (1) или "ЛОЖЬ" (0).
В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания.
Для образования новых высказываний наиболее часто используются базовые логические операции, выражаемые с помощью логических связок "и", "или", "не".
Логическое умножение (конъюнкция)
Объединение двух (или нескольких) высказываний в одно с помощью союза «и» называется операцией логического умножения или конъюнкцией.
Обозначение операции конъюнкции: &, ∧, «и».
Составное высказывание, образованное в результате операции логического умножения, истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.
Из переведённых ниже четырех высказываний, образованных с помощью операции логического умножения, истинно только четвертое, так как в первых трех составных высказываниях хотя бы одно из простых высказываний ложно:
2*2=5 и 3*3=10
2*2=5 и 3*3=10
2*2=4 и 3*3=10
2*2=4 и 3*3=9
Образуем составное высказывание F, которое получится в результате конъюнкции двух простых высказываний:
F = A ∧ B
C точки зрения алгебры логики мы записали формулу функции логического умножения, аргументами которой являются логические переменные A и B, которые могут принимать значение "истина" (1) и "ложь" (2). Сама функция логического умножения F также может принимать лишь два значения "истина" (1) и "ложь" (2).
Таблица истинности функции логического умножения:
|
А |
В |
F = A ∧ B |
|
0 |
0 |
0 |
|
0 |
1 |
0 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
Графическое представление логической операции конъюнкции:
На изображении представлены два множества А и В, заштрихованная поверхность - это результат операции конъюнкции.
Логическое сложение (дизъюнкция)
Объединение двух (или нескольких) высказываний с помощью союза «или» называется операцией логического сложения или дизъюнкцией.
Обозначение операции дизъюнкции: +, ∨, «или».
Составное высказывание, образованное в результате логического сложения, истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
Из переведённых ниже четырех высказываний, образованных с помощью операции логического умножения, ложно только первое, так как в последних трех составных высказываниях хотя бы одно из простых высказываний истинно:
2*2=5 или 3*3=10
2*2=5 или 3*3=10
2*2=4 или 3*3=10
2*2=4 или 3*3=9
Образуем составное высказывание F, которое получится в результате дизъюнкции двух простых высказываний:
F = A ∨ B
C точки зрения алгебры логики мы записали формулу функции логического сложения, аргументами которой являются логические переменные A и B, которые могут принимать значение "истина" (1) и "ложь" (2). Сама функция логического сложения F также может принимать лишь два значения "истина" (1) и "ложь" (2).
Таблица истинности функции логического сложения:
|
А |
В |
F = A ∨ B |
|
0 |
0 |
0 |
|
0 |
1 |
1 |
|
1 |
0 |
1 |
|
1 |
1 |
1 |
Графическое представление логической операции дизъюнкции:
На изображении представлены два множества А и В, заштрихованная поверхность - это результат операции дизъюнкции.
Логическое отрицание (инверсия)
Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией.
Обозначение операции инверсия: F = ¬ A, «не».
Логическое отрицание делает истинное высказывание ложным и, наоборот, ложное – истинным.
Таблица истинности функции логического отрицания:
|
А |
F = ¬ A |
|
0 |
1 |
|
1 |
0 |
Графическое представление логической операции инверсии:
2. Сравнительный анализ изменений в основных положениях по составу затрат, включаемых в себестоимость продукции, работ, услуг
3. Договор купли-продажи предприятия
4. КОЛОБОК Цели- закрепление понятия хлеб и изделия из муки на примере образа Колобка
5. Модели проведения рекламной кампании Последовательность рекламного маркетинга
6. докладно. Хоча за цієї доби набули розвитку споруди різних функціональних типів житлові громадські культо
7. I Поступления приток денежных средств А
8. Статья- Большой выбор с еще большим отсевом
9. РЕФЕРАТ дисертації на здобуття наукового ступеня кандидата економічних наук Харків
10. L vid es sueno можно перевести и как Жизнь есть мечта
11. Статья- Importance of marketing research
12. погасить. Суффиксальный- домдомик.
13. ПРАКТИКУМ для студентов 2 курса квалификация
14. тематической композиции На тему- Город дорожных знаков
15. На тему Образ Божий и Его подобие в человеке Дисциплина- Религиозная антропология Преподаватель- Че
16. Исследование операций по заработной плате
17. Минеральный состав организма
18. Реабилитация военнослужащих с посттравматическим стрессовым синдромом
19. Характеристики системы памяти
20. На тему- Шлунковокишкова кровотеча Студентки 8 групи 2 медичного факультет