- •Оглавление
- •I. Решение логических задач средствами алгебры логики.
- •II. Решение логических задач табличным способом.
- •III. Решение логических задач с помощью рассуждений.
- •IV. Задачник логика
- •§ 1. Основные определения логики. Булева алгебра
- •§ 2. Инверсия (логическое отрицание)
- •§ 3. Конъюнкция (логическое умножение)
- •§ 4. Дизъюнкция (логическое сложение)
- •§ 5. Импликация (логическое следование)
- •§ 6. Эквиваленция (логическое тождество)
- •§ 7. Таблицы истинности
- •Инверсия 2. Конъюнкция 3. Дизъюнкция 4. Импликация 5. Эквивалентность 6. Для изменения указанного порядка выполнения операций используются скобки.
- •§ 8. Логические фомулы. Законы логики
- •1) С помощью таблиц истинности; 2) с помощью равносильностей.
- •§ 9. Тождественные преобразования
- •1. Упрощение формул.
- •2. Преобразования “поглощение” и “склеивание”
- •3.Всякую формулу можно преобразовать так, что в ней не будет отрицаний сложных высказываний - все отрицания будут применяться только к простым высказываниям.
- •4. Любую формулу можно тождественно преобразовать так, что в ней не будут использованы:
- •5. Замена эквиваленции и импликации на конъюнкцию, дизъюнкцию и отрицание.
- •§ 10. Решение логических задач
- •I. Решение логических задач средствами алгебры логики.
- •II. Решение логических задач табличным способом.
- •III. Решение логических задач с помощью рассуждений.
- •Задачник
§ 3. Конъюнкция (логическое умножение)
Если два высказывания соединены союзом "И", то полученное сложное высказывание обычно считается истинным тогда и только тогда, когда истинны оба составляющие его высказывания. Если хотя бы одно из составляющих высказываний ложно, то и полученное из них с помощью союза "И" сложное высказывание также считается ложным.
Например, возьмем два высказывания: "У кота есть хвост" (высказывание А), "У зайца есть хвост" (высказывание В).
Сложное высказывание "У кота есть хвост И у зайца есть хвост" истинно, т.к. истинны оба высказывания А и В.
Но если взять другие высказывания:
"У кота длинный хвост" (С),
"У зайца длинный хвост" (D),
то сложное высказывание "У кота длинный хвост и у зайца длинный хвост" будет ложным, т.к. ложно высказывание D.
Таким образом, исходя из обычного смысла союза "И", приходим к определению соответствующей логической операции - конъюнкции.
Конъюнкция – это составное высказывание, образованное логическим умножением. Обозначения конъюнкции: A&B, A∙B, A^B, A and B, A и B.
Иными словами, взято два множества: А и В. Умножив А на В, мы получим 0 (ложь), если хотя бы одно из множеств равно нулю.
Значит, высказывание истинно тогда и только тогда, когда истинны (не равны 0) все высказывания, входящие в него. Это видно из таблицы:
В математике: если каждое выражение системы взять за отдельное высказывание то составное высказывание, образованное логическим умножением, будет являться решением этой системы.
П
ример:
пусть высказывание А – х>5, а
высказывание В – х>7 тогда
это составное высказывание
т.е. х>7.
Итак, высказывание A^B можно представить в виде пересечения множеств А и В:
§ 4. Дизъюнкция (логическое сложение)
Если два высказывания соединены союзом "ИЛИ", то полученное сложное высказывание обычно считается истинным, когда истинно, хотя бы, одно из составляющих высказываний.
Например, возьмем два высказывания:
«Мел черный» (А), «Доска черная» (В).
Высказывание «Мел черный ИЛИ доска черная» будет истинным, т.к. одно из исходных высказываний (В) истинно.
И, напротив, для
«Небо зеленое» (С), «Трава красная» (D)
Высказывание «Небо зеленое ИЛИ трава красная» будет ложным, в силу того, что ложны оба высказывания.
Отсюда определение:
Дизъюнкция (логическое сложение) - составное высказывание, образованное логическим сложением,
Обозначения:
A+B, AˇB, А U B
A or B, A или B
Дизъюнкция – выражение, истинное тогда и только тогда, когда есть хотя бы одно истинное высказывание, входящее в него:
В
математике:
если каждое выражение совокупности
взять за отдельное высказывание то
составное высказывание, образованное
логическим сложением,
будет
являться решением этой совокупности.
Пример:
пусть высказывание А – х>5, а
высказывание В – х>7 тогда
это составное высказывание
т.е. х>5
И
так,
высказывание
AˇB
можно
представить в виде объединения
множеств А
и В:
