Меню сайта
Реклама
Оцените сайт
Программирование
|
Алгебра логикиСвое понимание окружающего мира человек формирует в форме высказываний (суждений, утверждений). Высказывания могут быть выражены с помощью не только естественных языков, но и формальных. Пример: Естественный язык - "Два умножить на два равно четыре" , формальный (математический) язык - " 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 На изображении представлены два множества А и В, заштрихованная поверхность - это результат операции конъюнкции.
Логическое сложение (дизъюнкция) Объединение двух (или нескольких) высказываний с помощью союза «или» называется операцией логического сложения или дизъюнкцией.
Обозначение операции дизъюнкции: +, ∨, «или». Составное высказывание, образованное в результате логического сложения, истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний. Из
переведённых ниже четырех высказываний, образованных с помощью операции
логического умножения, ложно только первое, так как в последних трех составных высказываниях хотя бы одно из простых высказываний истинно: 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 На изображении представлены два множества А и В, заштрихованная поверхность - это результат операции дизъюнкции. Логическое отрицание (инверсия)
Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией.
Обозначение
операции инверсия: F = ¬ A, «не». Логическое отрицание делает истинное высказывание ложным и, наоборот, ложное – истинным. Таблица истинности функции логического отрицания:
|
Реклама
Календарь
Поиск
Статистика
Онлайн всего: 1 Гостей: 1 Пользователей: 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||