Систему уравнений с двумя переменными называют дизъюнкцию

Лекция 28. Уравнения с двумя переменными

1. Уравнения с двумя переменными. Уравнение линии. Уравнение окружности.

2. Система уравнений с двумя переменными. Способы решения системы двух уравнений с двумя переменными: способ подстановки и способ сложения.

3. Совокупности уравнений с двумя переменными.

УРАВНЕНИЯ С ДВУМЯ ПЕРЕМЕННЫМИ f2 (х) = g₂ (х)

Предикат вида f (х, у) = g (х, у) называют уравнением с двумя переменными.

Любая пара (а, b) значений переменных, обращающая уравне­ние f (х, у) = g (х, у) в истинное числовое равенство, называется решением этого уравнения, а множество всех таких пар — мно­жеством решений этого уравнения.

Пример. Определим, являются ли пары (1; 5) и (—2; 7) решениями уравнения х + 2у = 12, и запишем множество решений данного уравнения.

Решени е. Если х = 1, а у = 5, то уравнение х + 2у = 12 обращается в неверное числовое равенство

1 +2 × 5 = 12. Следо­вательно, пара (1; 5) не является решением уравнения.

Если х = —2, а у = 7, то данное уравнение обращается в вер­ное равенство —2 + 2 • 7 = 12. Следовательно, пара (—2; 7) является решением уравнения х + = 12.

Данное уравнение имеет бесконечное множество решений. Для записи этого множества удобно выразить одну переменную через другую, например х через у. Получим: х = 12 — 2у. Тогда множе­ство Т решений этого уравнения можно записать так:

Упражнения

1. Путем подбора найдите несколько решений каждого из следующих уравнений: а) ху = 5;

б) у = Зх; в) Зх — 2у == 16.

2. Найдите три решения уравнения х + = 7. Сколько решений имеет данное уравнение? Можно ли сказать, что любая пара чисел является решением данного уравнения?

3. Найдите пары чисел, разность которых равна 10. Сколько решений имеет задача?

4. Даны два уравнения: х + у = 9 и ху = 1. Найдите пару чисел, которая: а) является решением первого уравнения, но не является решением второго; б) является решением второго урав­нения, но не является решением первого; в) является решением и первого и второго уравнений; г) не является решением ни первого уравнения, ни второго.

СИСТЕМЫ УРАВНЕНИЙ С ДВУМЯ ПЕРЕМЕННЫМИ

Система двух уравнений с двумя переменными имеет вид:

<f(х, у) = g(х, у)
f2 (х, у) = g₂ (х,у)

Решением этой системы является любая пара чисел (а; b), обра­щающая каждое из уравнений системы в верное числовое равенст­во. Множество таких пар есть пересечение множества решений пер­вого уравнения с множеством решений второго.

Две системы уравнений называются равносильными на некотором множестве X, если их множества решений совпадают.

Пример 1. Решим систему уравнений

х — 2у = 4, используя метод алгебраического сложения.

Решение. Умножив обе части второго уравнения на 2 и первое уравнение сложим со вторым, получим систему

(Зх + 4у) + (2х — 4у) = 5 + 8

После приведения подобных членов данная система примет вид:
Зх + 4у = 5

Решением данной системы явля­ется пара чисел х = 13/5, у = — 7/10.

УРАВНЕНИЕ ПРЯМОЙ

Общее уравнение прямой— уравнение первой степени относительно пе­ременных х и у, т.е. уравнение вида Ах + Ву + С = 0 при условии, что коэффици­енты А и В одновременно не равны нулю.

Уравнение прямой в отрезкахимеет вид х/а + у/b = 1, где а и b- соответственно абсцисса и ордината точек пересечения прямой с осями Ох и Оу.

Уравнение прямой с угловым коэффициентомимеет вид у = кх + b, где к = tg ά — угловой коэффициент, равный тангенсу угла наклона прямой к оси Ох, а b

ордината точки пересечения прямой с осью Оу/

Уравнение прямой, проходящей через две точкиА(х], у]) и В(х22), имеет вид

Угловой коэффициент прямой, проходящей через точки А и В, находится по формуле

Пример 16.22. Найдите отрезки, отсекаемые на осях координат прямой, проходя­щей через точки А(6; 2) и В(-3;8). )

Решение. Подставив в уравнение прямой, проходящей через две точки, координаты то­чек

А (6; 2) и В(-3;8), получим (х – 6) / (-3 – 6) = (у – 2) / (8 – 2) или у = — 2/3х + 6.

Преобразуем последнее уравнение

к уравнении ю прямой в отрезках: (2/3)х/6 + у/6 = 1 или х/9 + у/6 = 1. Значит, а = 9 и b =6.

Если даны две пересекающиеся прямые А₁ х + В₁ у + С₁ = 0 и А₂ + В₂ у + С2 0, то для вычисления координат точки пересечения данных прямых необходимо решить систему уравнений этих прямых.

Пример 16.23. Найдите точку пересечения прямых Зх — 4у + 11 = 0 и 4х — у — 7 = 0. Решение. Решив систему уравнений получим х = 3 и у = 5. Следовательно, (3, 5) — точка пересечения этих прямых.

Острый угол между двумя прямыми, заданными:

— общими уравнениями А₁ х + В₁ у + С₁ = 0 и А₂ х + В₂ у + С2 0

вычисляется по формуле соs φ = | (А ₁ А₂ + В₁ В₂) /( √ А₁² + В₁ ²А₂ ² + В₂ ) ²|

— общими уравнениями у = k₁ х + b₁ и у = k ₂ х + b ₂

вычисляется по формуле tg φ = | (k ₁ — k ) | (1 + k ₁ × k )|

Пример 16.24. Найдите угол между прямыми у = 3х — 1 и у = -2х + 4.

Условие параллельности двух прямых, заданных:

-общими уравнениями А₁ х + В₁ у + С = 0 и А ₂ х + В₂ у + С2 = 0, имеет вид Ах / А ₂ = В₁/ В₂;

— уравнениями с угловыми коэффициентами у = k₁ х + b₁ и у = k ₂ х + b ₂ имеет видk = k ₂.

Условие перпендикулярности двух прямых, заданных:

— общими уравнениями А₁ х + В₁ у + С₁ = 0 и А₂ х + В₂ у + С2 = 0, имеет вид Ах А ₂ + В₁ В₂ = 0;

— уравнениями с угловыми коэффициентами у = k₁ х + b₁ и у = k ₂ х + b ₂ имеет вид k k₂ = — 1

Пример 16.25. Найдите уравнение прямой, проходящей через точку А (4; -2) и па­раллельной прямой 4х — 2у + 5 = 0.

УРАВНЕНИЕ ОКРУЖНОСТИс центром в начале координат и радиусом R имеет вид х 2 + у 2 = /? 2 ; уравнение окружности с центром в точке А<а; b) и ради­усом Rимеет вид (х — а) 2 + <у - b) 2 = /? 2 ; уравнение окружности в общем виде имеет вид Ах 2 + Ау г + Вх + Су + О = 0.

Лекция 29. Системы и совокупности неравенств с одной переменной

1. Системы двух неравенств с двумя переменными: запись результата решения.

2. Совокупности неравенств с двумя переменными.

СИСТЕМЫ НЕРАВЕНСТВ С ОДНОЙ ПЕРЕМЕННОЙ

Система неравенств f(х) > g(х) и f2 (х) > g₂ (х) имеет вид:

<f(х) > g(х)
f2 (х) > g₂ (х).

Решением этой системы является всякое значение переменной х , которое обращает каждое из неравенств в истинное числовое не­равенство.

Множество решений системы неравенств есть пересечение мно­жеств решений неравенств, образующих данную систему.

Неравенство |х| 0, равносильно системе

или двойному неравенству —а — 6(х + 2)

3 (3 + 2х) —7 есть числовой проме­жуток ]—7; оо[, а множество решений неравенства х g(х) и f2 (х) > g₂ (х) с одной переменной может быть записана в виде

[f(х) > g(х) (1)
f2 (х) > g₂ (х) (2).

Решением совокупности неравенств с одной переменной назы­вается всякое значение переменной х, которое обращает в истинное числовое неравенство хотя бы одно из неравенств совокупности.

Множество решений совокуп­ности есть объединение множеств решений неравенств, образующих совокупность.

Неравенство |х| >а, где а > 0 равносильно совокупности:

[ х > а
х 0 или f(х) × g(х) (1) > 0 равносильно

совокупности (дизъюнкции) систем:

[f (х) > 0
g (х) > 0.
[f (х) х — 1,

Решение. Найдем сначала множества решений каждого из неравенств совокупности, а затем их объединение.

Преобразуем каждое из неравенств совокупности, заменяя его равносильным:

Множество решений неравенства х > 2 есть числовой промежу­ток ]2; ¥[, а множество решений неравенства х > 1 — промежу­ток — ]1; ¥[. Изобразим эти множества на числовой прямой и найдем их объединение. Следовательно, множество решений совокупности есть числовой промежуток ]1; оо[.

П р и м е р 2. Решим неравенство (4х – 3) / (3 – 2х) > 1.

Алгебра и начала математического анализа. 10 класс

Конспект урока

Алгебра и начала математического анализа, 10 класс

Урок №14. Алгебраические системы уравнений.

Перечень вопросов, рассматриваемых в теме:

1) определение алгебраической системы уравнений;

2) методы решений алгебраических систем уравнений;

3) симметрические системы уравнений.

Глоссарий по теме

Системами уравнений называют записи, представляющие собой расположенные друг под другом уравнения, объединенные слева фигурной скобкой, которые обозначают множество всех решений уравнений, одновременно являющихся решениями каждого уравнения систем.

Решением системы уравнений с двумя переменными называется пара значений этих переменных, обращающая каждое уравнение системы в верное числовое равенство, другими словами, являющаяся решением каждого уравнения системы.

Систему уравнений называют однородной, если P(x;y), Q(x;y) — однородные многочлены одной и той же степени, а а и b — действительные числа.

Уравнение P(x;y)= а, где, называют симметрическим, если P(х;y) — симметрический многочлен.

Систему двух уравнений с двумя переменными называют симметрической системой, если оба ее уравнения — симметрические.

Колягин Ю.М., Ткачева М.В, Федорова Н.Е. и др., под ред. Жижченко А.Б. Алгебра и начала математического анализа (базовый и профильный уровни) 10 кл. – М.: Просвещение, 2014.

Шабунин М.И., Ткачева М.В., Федорова Н.Е. Дидактические материалы Алгебра и начала математического анализа (базовый и профильный уровни) 10 кл. – М.: Просвещение, 2017.

Теоретический материал для самостоятельного изучения

К определению системы уравнений будем подбираться постепенно. Сначала лишь скажем, что его удобно дать, указав два момента: во-первых, вид записи, и, во-вторых, вложенный в эту запись смысл. Остановимся на них по очереди, а затем обобщим рассуждения в определение систем уравнений.

Пусть перед нами несколько каких-нибудь уравнений. Для примера возьмем два уравнения 2·x+y=−3 и x=5. Запишем их одно под другим и объединим слева фигурной скобкой:

Записи подобного вида, представляющие собой несколько расположенных в столбик уравнений и объединенных слева фигурной скобкой, являются записями систем уравнений.

Что же означают такие записи? Они задают множество всех таких решений уравнений системы, которые являются решением каждого уравнения.

Не помешает описать это другими словами. Допустим, какие-то решения первого уравнения являются решениями и всех остальных уравнений системы. Так вот запись системы как раз их и обозначает.

А теперь можно сформулировать определение.

Определение. Системами уравнений называют записи, представляющие собой расположенные друг под другом уравнения, объединенные слева фигурной скобкой, которые обозначают множество всех решений уравнений, одновременно являющихся решениями каждого уравнения систем.

Мы будем решать сегодня, в основном, системы уравнений с двумя переменными.

Определение. Решением системы уравнений с двумя переменными называется пара значений этих переменных, обращающая каждое уравнение системы в верное числовое равенство, другими словами, являющаяся решением каждого уравнения системы.

Рассмотрим методы решения систем уравнений.

Методы решения систем уравнений.

Алгоритм решения системы двух уравнений с двумя переменными x,y методом подстановки:
1. Выразить одну переменную через другую из одного уравнения системы (более простого).
2. Подставить полученное выражение вместо этой переменной в другое уравнение системы.
3. Решить полученное уравнение и найти одну из переменных.
4. Подставить поочередно каждый из найденных на третьем шаге корней уравнения в уравнение, полученное на первом шаге и найти вторую переменную.
5. Записать ответ в виде пар значений, например, (x;y), которые были найдены соответственно на третьем и четвёртом шаге.

Решить систему уравнений

1. Выразим x через y из второго (более простого) уравнения системы x=5+y.

2. Подставим полученное выражение вместо x в первое уравнение системы (5+y)⋅y=6

3. Решим полученное уравнение:

4. Подставим поочерёдно каждое из найденных значений y в уравнение x=5+y, тогда получим:

5. Пары чисел (−1;−6) и (6;1) — решения системы.

  1. Метод алгебраического сложения

Алгоритм решения системы двух уравнений с двумя переменными x,y методом сложения:
1. Уравнять модули коэффициентов при одном из неизвестных.
2. Сложить или вычесть уравнения.
3. Решить полученное уравнение с одной переменной.
4. Подставить поочерёдно каждый из найденных на третьем шаге корней уравнения в одно из уравнений исходной системы, найти второе неизвестное.

5. Записать ответ в виде пар значений, например, (x;y), которые были найдены.

  1. Метод введения новых переменных

При решении систем двух уравнений с двумя переменными метод введения новых переменных можно применять двумя способами:

1. вводится одна новая переменная и используется только в одном уравнении системы;

2. вводятся две новые переменные и используются одновременно в обоих уравнениях системы.

Решение: введем новые переменные xy= u, x+y=v.

Тогда систему можно переписать в более простом виде:

Решением системы является две пары чисел.

Первая пара чисел:

Вторая пара чисел:

Однако пара (0;0), являющаяся решением первого уравнения системы, не удовлетворяет второму уравнению, т. к. 0²-3·0·0 + 0² = 0 ≠-1. Отсюда х ≠0, и поэтому можем обе части первого уравнения системы разделить на х² ≠ 0 (это не приведет к потере корней). Разделив обе части первого уравнения системы на х², получим

.

получим t² -1 — 2 = 0 t₁ =2, t₂ =-1.

Таким образом, исходная система равносильна совокупности двух систем уравнений:

Первая из этих систем имеет два решения: х₁ =1, у₁ = 2; х₂ = -1; у₂ = -2.

Вторая система несовместна. Отсюда (1;2), (—1;—2) — решения исходной системы.

Решить систему уравнений

Сложим уравнения почленно.

Решим полученное уравнение с одной переменной.

Подставим поочередно каждый из найденных корней уравнения

в одно из уравнений исходной системы, например во второе, и найдём второе неизвестное.

если х=5, то 25+y 2 =29

если х=-5, то 25+y 2 =29

Пары чисел (−5;−2), (−5;2), (5;−2) и (5;2) — решения системы.

Учитель информатики

Сайт учителя информатики. Технологические карты уроков, Подготовка к ОГЭ и ЕГЭ, полезный материал и многое другое.

§ 18 Алгебра логики

Информатика. 10 класса. Босова Л.Л. Оглавление

§ 18. Алгебра логики

Из курса информатики основной школы вы знаете, что для компьютерных наук большое значение имеет математическая логика, а точнее, её часть, называемая алгеброй логики.

Алгебра логики — раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических значений (истинности или ложности), и логические операции над ними.

Джордж Буль (1815-1864) — английский математик, основоположник алгебры логики. Дж. Буль изучал логику мышления математическими методами и разработал алгебраические методы решения традиционных логических задач. В 1854 году он опубликовал работу, в которой изложил суть алгебры логики, основанной на трёх операциях: and, or, not. Долгое время алгебра логики была известна достаточно узкому классу специалистов. В 1938 году Клод Шеннон применил алгебру логики для описания процесса функционирования релейноконтактных и электронно-ламповых схем.

18.1. Логические высказывания и переменные

Высказывание — это предложение, в отношении которого можно сказать, истинно оно или ложно.

Например, высказывание «Джордж Буль — основоположник алгебры логики» истинно, а высказывание «2 + 2 = 5» ложно.

Что вы можете сказать об истинности или ложности предложения «Данное высказывание — ложь»?

Из имеющихся высказываний можно строить новые высказывания. Для этого используются логические связки — слова и словосочетания «не», «и», «или», «если …, то», «тогда и только тогда» и др.

Высказывания, образованные из других высказываний, называются составными (сложными). Высказывание, никакая часть которого не является высказыванием, называется элементарным (простым).

Например, из двух простых высказываний «Алгебра логики является основой строения логических схем компьютеров» и «Алгебра логики служит математической основой решения сложных логических задач» можно получить составное высказывание «Алгебра логики является основой строения логических схем компьютеров и служит математической основой решения сложных логических задач».

Обоснование истинности или ложности элементарных высказываний не является задачей алгебры логики. Эти вопросы решаются теми науками, к сфере которых относятся элементарные высказывания. Такое сужение интересов позволяет обозначать высказывания символическими именами (например, А, В, С). Так, если обозначить элементарное высказывание «Джордж Буль — основоположник алгебры логики» именем А, а элементарное высказывание «2 + 2 = 5» именем В, то составное высказывание «Джордж Буль — основоположник алгебры логики, и 2 + 2 = 5» можно записать как «А и В». Здесь А, В — логические переменные, «и» — логическая связка.

Логическая переменная — это переменная, которая обозначает любое высказывание и может принимать логические значения «истина» или «ложь».

Для логических значений «истина» и «ложь» могут использоваться следующие обозначения:

Истинность или ложность составных высказываний зависит от истинности или ложности образующих их высказываний и определённой трактовки связок (логических операций над высказываниями).

18.2. Логические операции

Логическая операция полностью может быть описана таблицей истинности, указывающей, какие значения принимает составное высказывание при всех возможных значениях образующих его элементарных высказываний.

Из курса информатики основной школы вам известны логические операции отрицание, конъюнкция и дизъюнкция. Их таблицы истинности представлены ниже.

Логическая операция, ставящая в соответствие двум высказываниям новое, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны, называется конъюнкцией или логическим умножением.

Логическая операция, ставящая в соответствие двум высказываниям новое, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны, называется дизъюнкцией или логическим сложением.

Логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному, называется отрицанием или инверсией.

При построении отрицания простого высказывания:

• используется оборот «неверно, что» или к сказуемому добавляется частица «не»;
• в высказывании, содержащем слово «все», это слово заменяется на «некоторые» и наоборот.

Рассмотрим несколько новых логических операций.

Логическая операция, ставящая в соответствие двум высказываниям новое, являющееся ложным тогда и только тогда, когда первое высказывание (посылка) истинно, а второе (следствие) — ложно, называется импликацией или логическим следованием.

Операция импликации обозначается символом ? и задаётся следующей таблицей истинности:

В разговорной речи импликации соответствуют предложения, содержащие связку «если …, то». Эту связку мы используем тогда, когда хотим показать наличие причинно-следственной связи, иначе говоря, зависимость одного события от другого. Например, пусть некоторый человек сказал: «Если завтра будет хорошая погода, то я пойду гулять». Ясно, что человек окажется лжецом лишь в том случае, если погода действительно будет хорошей, а гулять он не пойдёт. Если же погода будет плохой, то, независимо от того, пойдёт он гулять или нет, во лжи его нельзя обвинить: обещание пойти гулять он давал лишь при условии, что погода будет хорошей.

Результат операции импликации, как и других логических операций, определяется истинностью или ложностью логических переменных, а не наличием причинно-следственных связей между высказываниями. Например, абсурдное с житейской точки зрения высказывание «Если 2 > 3, то существуют ведьмы» является истинным с точки зрения алгебры логики.

Логическая операция, ставящая в соответствие двум высказываниям новое, являющееся истинным тогда и только тогда, когда только одно из двух высказываний истинно, называется строгой (исключающей) дизъюнкцией.

Строгая дизъюнкция обозначается символом ? и задаётся следующей таблицей истинности:

В русском языке строгой (разделительной) дизъюнкции соответствует связка «либо». В отличие от обычной дизъюнкции (связка «или») в высказывании, содержащем строгую дизъюнкцию, мы утверждаем, что произойдёт только одно событие.

Например, высказывая утверждение «На сегодняшнем матче Петя сидит на трибуне А либо на трибуне Б», мы считаем, что Петя сидит либо только на трибуне А, либо только на трибуне Б, и что сидеть одновременно на двух трибунах Петя не может.

Логическая операция, ставящая в соответствие двум высказываниям новое, являющееся истинным, когда оба исходных высказывания истинны или оба исходных высказывания ложны, называется эквиваленцией или равнозначностью.

В логике эквиваленция обозначается символом и задаётся следующей таблицей истинности:

В разговорной речи для выражения взаимной обусловленности используется связка «тогда и только тогда, когда», а в математике — «необходимо и достаточно».

Рассмотрим высказывание «Денис пойдёт в бассейн тогда и только тогда, когда он выучит уроки».

Это высказывание истинно (договорённость соблюдается), если истинны оба элементарных высказывания («Денис пойдёт в бассейн», «Денис выучит уроки»). Высказывание истинно (договорённость не нарушается) и в том случае, если оба элементарных высказывания ложны («Денис не пойдёт в бассейн», «Денис не выучит уроки»). Если же одно из двух высказываний ложно («Денис пойдёт в бассейн, хотя и не выучит уроки», «Денис выучит уроки, но не пойдёт в бассейн»), то договорённость нарушается, и составное высказывание становится ложным.

А сейчас посмотрите внимательно на таблицы истинности строгой дизъюнкции и эквиваленции: если на некотором наборе логических переменных результатом строгой дизъюнкции является истина, то на этом же наборе результатом эквиваленции всегда будет ложь, и наоборот.

Можно сделать выводы:

• операция эквиваленции есть отрицание операции строгой дизъюнкции

• операция строгой дизъюнкции есть отрицание операции эквиваленции

На сегодняшний день в алгебре логики не существует унифицированной символики для обозначения логических операций. В таблице 4.1 представлены логические операции и их наиболее распространённые обозначения, используемые как в алгебре логики, так и в некоторых языках программирования. Здесь же приведены речевые обороты, соответствующие логическим операциям.

Таблица 4.1

Логические операции и их обозначения

Операция отрицания выполняется над одним операндом. Такие операции называются одноместными или унарными. Все остальные логические операции, представленные в таблице 4.1, выполняются над двумя операндами и называются двуместными или бинарными.

18.3. Логические выражения

Составное логическое высказывание можно представить в виде логического выражения (формулы), состоящего из логических констант (О, 1), логических переменных, знаков логических операций и скобок.

Для логического выражения справедливо:

1) всякая логическая переменная, а также логические константы (О, 1) есть логическое выражение;
2) если А — логическое выражение, то и — логическое выражение;
3) если А и В — выражения, то, связанные любой бинарной операцией, они также представляют собой логическое выражение.

При преобразовании или вычислении значения логического выражения логические операции выполняются в соответствии с их приоритетом:

1) отрицание;
2) конъюнкция;
3) дизъюнкция, строгая дизъюнкция;
4) импликация, эквиваленция.

Операции одного приоритета выполняются в порядке их следования, слева направо. Как и в арифметике, скобки меняют порядок выполнения операций.

Пример 1. Выясним, какие из приведённых слов удовлетворяют логическому условию (первая буква согласная ? вторая буква согласная) & (последняя буква гласная ? предпоследняя буква гласная):

1) ОЗОН;
2) ИГРА;
3) МАФИЯ;
4) ТРЕНАЖ.

Вычислим значение логического выражения для каждого из данных слов:

Итак, заданному условию удовлетворяют первое и четвёртое слова.

Решение логического уравнения — это один или несколько наборов значений логических переменных, при которых логическое уравнение становится истинным выражением.

Пример 2. Решим логическое уравнение

Дизъюнкция ложна в том и только в том случае, когда ложно каждое из образующих её высказываний. Иными словами, наше уравнение соответствует системе уравнений:

Таким образом, значение переменной D уже найдено. Импликация равна нулю в единственном случае — когда из истины следует ложь. Иначе говоря, в нашем случае: А = 1 и С = 0.

Подставим найденные значения переменных в уравнение

Ответ: А = 1, В = 1, С = 0, D = 0.

Логические уравнения могут иметь не одно, а несколько и даже очень много решений. Зачастую требуется, не выписывая все решения уравнения, указать их количество.

Пример 3. Выясним, сколько различных решений имеет логическое уравнение

Дизъюнкция истинна, если истинно хотя бы одно из образующих её высказываний. Решение данного логического уравнения равносильно совокупности, состоящей из двух уравнений:

Первое равенство будет выполняться только при А = 1, В = 1 и С = 0. Поскольку D в этом уравнении не задействовано, оно может принимать любое из двух значений (0 или 1). Таким образом, всего первое уравнение имеет два решения.

Самостоятельно выясните, сколько решений имеет второе уравнение (из совокупности двух уравнений).

Сколько решений имеет исходное уравнение?

Пример 4. Выясним, сколько решений имеет очень простое с виду логическое уравнение х1 & х2 ? х3 & х4 = 1.

Введём замену переменных. Пусть t1 = х1 & х2, t2 = х3 & х4. Тогда исходное уравнение примет вид: t1 ? t2 = 1.

На t1 никаких ограничений нет, эта переменная может принимать значения 0 и 1. Импликация равна 0 только в случае, когда из истины (1) следует ложь (0). Исключим этот вариант. Построим дерево решений, представив на нём значения переменных t1 и t2 при которых t1 ? t2 = 1.

Получаем для t1 и t2 три набора значений: 00, 01, 11. Первая двоичная цифра в каждом из этих трёх наборов — результат выражения х1 & х2, вторая — х3 & х4. Рассмотрим первый набор: существует три набора х1 и х2 таких, что х1 & х2 = 0, другими словами, первый 0 мы можем получить тремя способами. Второй О в этом наборе мы также можем получить тремя способами.

Из курсов информатики и математики основной школы вам известно одно из основных правил комбинаторики — правило умножения. Согласно ему, если элемент А можно выбрать n способами, и при любом выборе А элемент В можно выбрать m способами, то пару (А, В) можно выбрать n • m способами.

Согласно правилу умножения, пару 00 можно получить 3 • 3 = 9 способами.

Что касается пары 01, то первый 0 мы можем получить тремя способами, а для получения 1 существует единственный вариант (х3 & х4 = 1 при х3 = 1 и х4 = 1). Следовательно, есть ещё три набора переменных х1, х2, х3, х4, являющихся решением исходного уравнения.

Самостоятельно доведите решение этой задачи до конца.

18.4. Предикаты и их множества истинности

Равенства, неравенства и другие предложения, содержащие переменные, высказываниями не являются, но они становятся высказываниями при замене переменной каким-нибудь конкретным значением. Например, предложение х 2 + у 2 = 1) — множество точек окружности единичного радиуса с центром в начале координат. Следует отметить, что многие задания, выполняемые вами на уроках математики, прямо связаны с предикатами. Например, стандартное задание «Решить квадратное уравнение x 2 — 3x + 2 = 0» фактически означает требование найти множество истинности предиката Р(х) = (x 2 — 3x + 2 = 0).

Из имеющихся предикатов с помощью логических операций можно строить новые предикаты.

Пусть А и В соответственно являются множествами истинности предикатов А(х) и В(х). Тогда пересечение множеств А и В будет являться множеством истинности для предиката А(х) & В(х), а объединение множеств А и В будет множеством истинности для предиката А(х) ? В(х).

Пример 5. Найдём все целые числа 2, превращающие предикат

P(z) = (z > 5) & (z — 2 5) являются целые числа 6, 7, 8 и т. д. Множеством истинности предиката В(z) = (z — 2

Множество истинности исходного предиката — пересечение (общие элементы) множеств истинности образующих его предикатов:

Его мощность |Р| = 11.

Пример 6. Рассмотрим предикат (50 2 ) ? (50 > (х + 1) 2 ), определённый на множестве целых чисел. Найдём множество истинности этого предиката.

Зачастую задания такого рода формулируют несколько иначе.

Например, так: «Найдите все целые числа х, для которых истинно высказывание (50 (х + 1)2)».

Проанализируем отдельно каждый из элементарных предикатов (50 2 ) и (50 > (x + 1) 2 ), решив соответствующие неравенства:

Определим значение исходного предиката на каждом из полученных подмножеств, причём отдельно рассмотрим значение х = -8 (оно попадает в два подмножества) и значение х = 7 (оно не попадает ни в одно подмножество):

Итак, множеством истинности исходного предиката являются целые числа, принадлежащие отрезку [-8; 7]. Наименьшим элементом этого множества является число -8, наибольшим — число 7; мощность множества равна 16.

САМОЕ ГЛАВНОЕ

Высказывание — это предложение, в отношении которого можно сказать, истинно оно или ложно. Высказывания, образованные из других высказываний, называются составными (сложными). Высказывание, никакая часть которого не является высказыванием, называется элементарным (простым). Истинность или ложность составных высказываний зависит от истинности или ложности образующих их высказываний и определённой трактовки связок (логических операций над высказываниями).

Логическая операция полностью может быть описана таблицей истинности, указывающей, какие значения принимает составное высказывание при всех возможных значениях образующих его элементарных высказываний.

Составное логическое высказывание можно представить в виде логического выражения (формулы), состоящего из логических констант (0, 1), логических переменных, знаков логических операций и скобок.

Логические операции имеют следующий приоритет:

1) отрицание;
2) конъюнкция;
3) дизъюнкция, строгая дизъюнкция;
4) импликация, эквиваленция.

Операции одного приоритета выполняются в порядке их следования, слева направо. Скобки меняют порядок выполнения операций.

Предикат — это утверждение, содержащее одну или несколько переменных. Из имеющихся предикатов с помощью логических операций можно строить новые предикаты.

Вопросы и задания

1. Из данных предложений выберите те, которые являются высказываниями. Обоснуйте свой выбор.

1) Как пройти в библиотеку?
2) Коля спросил: «Который час?»
3) Картины Пикассо слишком абстрактны.
4) Компьютеры могут быть построены только на основе двоичной системы счисления.

2. Из каждых трёх выберите два высказывания, являющихся отрицаниями друг друга:

1) «1999 2000», «1999 ? 2000»;
2) «Петя решил все задания контрольной работы», «Петя не решил все задания контрольной работы», «Петя решил не все задания контрольной работы»;
3) «Луна — спутник Земли», «Неверно, что Луна — спутник Земли», «Неверно, что Луна не является спутником Земли »;
4) «Прямая а не параллельна прямой с», «Прямая а перпендикулярна прямой с», «Прямые а и с не пересекаются» (считаем, что прямые а и с лежат в одной плоскости);
5) «Мишень поражена первым выстрелом», «Мишень поражена не первым выстрелом», «Неверно, что мишень поражена не первым выстрелом».

3. Рассмотрите следующие элементарные высказывания: А = «Река Днепр впадает в Чёрное море», В = «45 — простое число», С = «Вена — столица Австрии», D = «0 — натуральное число».

Определите, какие из них истинные, а какие ложные. Составьте сложные высказывания, применяя каждый раз только одну из пяти логических операций

к высказываниям А, В, С и D. Сколько новых высказываний можно получить с помощью отрицания (инверсии)? Конъюнкции? Дизъюнкции? Импликации? Эквиваленции? Сколько всего новых высказываний можно получить? Сколько среди них будет истинных?

4. Представьте каждую пословицу в виде сложного логического высказывания, построенного на основе простых высказываний. Ответ обоснуйте при помощи таблиц истинности.

1) На вкус и цвет товарищей нет.
2) Если долго мучиться, что-нибудь получится.
3) Не зная броду, не суйся в воду.
4) Тяжело в ученье, легко в бою.
5) То не беда, что во ржи лебеда, то беда, что ни ржи, ни лебеды.
6) Где тонко, там и рвётся.
7) Или грудь в крестах, или голова в кустах.
8) За двумя зайцами погонишься — ни одного не поймаешь.
9) И волки сыты, и овцы целы.

5. Подберите вместо А, В, С, D такие высказывания, чтобы полученные сложные высказывания имели смысл:

1) если (А или В и С), то D;
2) если (не А и не В), то (С или D);
3) (А или В) тогда и только тогда, когда (С и не D).

7. Сколько из приведённых чисел Z удовлетворяют логическому условию: ((Z кратно 4) v (Z кратно 5)) ? (Z кратно 6)?
1) 4; 2) 6; 3) 7; 4) 12.

8. Найдите все целые числа Z, для которых истинно высказывание:

9. Какие из высказываний А, В, С должны быть истинны и ка кие ложны, чтобы были ложны следующие высказывания?

10. Даны три числа в различных системах счисления:

Переведите А, В и С в двоичную систему счисления и вы полните поразрядно логические операции (A v В) & С. Отвеп дайте в десятичной системе счисления.

11. Логическое отрицание восьмиразрядного двоичного числа записанное в десятичной системе счисления, равно 217 Определите исходное число в десятичной системе счисления,

12. Определите логическое произведение и логическую сумм> всех двоичных чисел в диапазоне от 1610 до 2210, включая границы. Ответ запишите в восьмеричной системе счисления.

13. Сколько различных решений имеет логическое уравнение?

14. Сколько решений имеет логическое уравнение х1 & х2 v х3 & x4 = 1?

15. Изобразите в декартовой прямоугольной системе координат множества истинности для следующих предикатов:

16. Предикат ((8x — 6) 65) определён на множестве целых чисел. Найдите его множество истинности. Укажите наибольшее целое число х, при котором предикат превращается в ложное высказывание.


источники:

http://resh.edu.ru/subject/lesson/3812/conspect/

http://murnik.ru/18-algebra-logiki