Будь умным!


У вас вопросы?
У нас ответы:) SamZan.net

тематический язык

Работа добавлена на сайт 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

Графическое представление логической операции инверсии:




1. Прогнозирование масштабов заражения АХОВ при химической аварии
2. мигранты сезонные рабочие студенты туристы; Г супруги дети родители; Д иностранные граждане апатриды
3. М Лисенка на тиждень від 2 грудня до 7 грудня 2013 р
4. конфликт характеризуется исключительной широтой содержания и употребляется в разнообразных значениях
5. С точки зрения Кошки Елена Филиппова С точки зрения Кошки Памяти моих кошек посвяща
6. реферату- Фактори впливу на розвиток нових підприємствРозділ- Підприємництво Фактори впливу на розвиток но
7. молекулярна генетика А В Т О Р Е Ф Е Р А Т дисертації на здобуття наукового ступеня кандид
8. Среди средств специального воздействия вполне себя оправдали искусственно создаваемые и навязывае
9. Финансы организаций предприятий 1
10. Аркфункции
11. . Устраняет отечность и воспаления
12. 2013 Устав Общероссийского общественного движения по увековечению
13. Введение Интеграционная базы в СНГ и ее слабость Отдаление России от СНГ Отдаление Украины от СНГ
14. Модемы и их устройство
15. Ожоговый шок как частный вид ожоговой болезни
16. Бюджетное устройство и бюджетная система РФ
17. Озонотерапия и озонопрофилактика воспалительных заболеваний и функциональных расстройств матки у коров
18. Молодому царю хотелось завоевать для России выход к незамерзающим морям
19. Топливно-энергетический комплекс (ТЭК
20. Тема Политический процесс как динамическое качество политики понятие виды стадии политических процессов