высказывания.
Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания ("не"), затем конъюнкция ("и"), после конъюнкции -- дизъюнкция ("или") и в последнюю очередь -- импликация.
Что такое логическая формула?
С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой.
Определение логической формулы:
1. Всякая логическая переменная и символы "истина" ("1") и "ложь" ("0") -- формулы.
2. Если А и В -- формулы, то , А . В , А v В , А B , А В -- формулы.
3. Никаких других формул в алгебре логики нет. В п. 1 определены элементарные формулы; в п. 2 даны правила образования из любых данных формул новых формул.
В качестве примера рассмотрим высказывание "если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог". Это высказывание формализуется в виде (A v B) C. Такая же формула соответствует высказыванию "если Игорь знает английский или японский язык, то он получит место переводчика".
Как показывает анализ формулы (A v B) C, при определённых сочетаниях значений переменных A, B и C она принимает значение "истина", а при некоторых других сочетаниях -- значение "ложь" (разберите самостоятельно эти случаи). Такие формулы называются выполнимыми.
Некоторые формулы принимают значение "истина" при любых значениях истинности входящих в них переменных. Таковой будет, например, формула А v , соответствующая высказыванию "Этот треугольник прямоугольный или косоугольный". Эта формула истинна и тогда, когда треугольн
Страницы: << < 6 | 7 | 8 | 9 > >>