Будь умным!


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

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

Работа добавлена на сайт samzan.ru: 2015-07-05

Загрузка...

Диплом на заказ

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. Вариант 10 В результате проведения мероприятий по повышению безопасности технологических процессов и произ
3. Социум
4. 1998 Формальные данные- Ф
5. Th grde. There re two more kids in the fmily besides me my elder brother Oleg nd my younger sister Mrij
6. Элементы метода бухгалтерского учета при выявлении и расследовании экономических преступлений
7. физических глин частицы диаметром меньше 001 мм
8. на тему- Умови укладання шлюбу
9. Абхазский язык и литература
10. Подохни пролетарий Но нам в Европу проложи проход Сопротивляйся
11. На Усачевке которму я посвятил почти 5 лет своей жизни был именно общиной
12. функциональная и матричная системы не всегда удовлетворяют требованиям предъявляемым рынком Дивизиональ
13. на тему- Создание в САПР MicroCp макромоделей силовых полупроводниковых компонентов
14. Юридическая ответственность
15. Лекция Технология хранения товаров в магазине
16. Функционирование предприятия в сфере услуг ипотечного кредитования
17. решающего прибора управляющие цифровые вычислительные машины УЦВМ или микропроцессоры
18. ВВЕДЕНИЕ В настоящее время существует несколько стандартных технологий производства крист
19. Дистрофiя мiокардiоцитiв
20. тема отношений экономических социальных юридических связывающих производителей туристского продукта и п