
- •Ведение
- •1. Множества и операции над ними.
- •1.1. Основные понятия о множествах.
- •1.2. Операции над множествами.
- •Упражнения.
- •2. Логика высказываний
- •2.1. Понятие высказывания
- •2.2. Логические операции над высказываниями.
- •2.3. Сложные высказывания.
- •Упражнения.
- •3. Логика предикатов.
- •3.1. Понятие предиката.
- •3.2. Логические операции над предикатами.
- •3.3. Кванторные операции.
- •Упражнения.
- •4. Приложение математической логики.
- •4.1. Виды теорем и их взаимосвязь.
- •4.2. Необходимое и достаточное условия.
- •4.3. Метод математической индукции.
- •4.4. Теорема дедукции.
- •4.5. Приложение логики высказываний к релейно-контактным схемам.
- •Упражнения.
- •Ответы и указания к решениям.
- •Глава 1.
- •Глава 2.
- •Глава 3.
- •Глава 4.
- •Заключение
- •Список литературы
Упражнения.
№ 1. Какие из следующих выражений являются предикатами:
а) х делится на три (х пробегает множество натуральных чисел);
б) у = х2 (х пробегает множество действительных чисел);
в) х2 + х + 1 = 0 (х пробегает множество действительных чисел);
г) x2+2x+1 (х пробегает множество действительных чисел);
д) х есть мать у (х и у пробегают множество всех людей);
е) х и у (х и у пробегают множество всех людей).
№2. Пусть х, у, z пробегают множество действительных чисел. От какого числа переменных зависят следующие предикаты:
а) х2 + у2 = z2;
б) для всякого х найдется такой у, что х + у = 1;
в) существует z, такое, что для всякого х имеет место неравенство
х + у<z.
№3. Даны два предиката: Ф1( х): х есть собака;
Ф2(х): х обладает хорошим обонянием (х пробегает множество всех живых существ).
Прочесть символическое выражение (х)( Ф1(х) Ф2(х))
№4. В следующих высказываниях выделить входящие в них предикаты и записать эти высказывания с помощью символики исчисления предикатов:
а) снег белый;
б) я живу в городе Саратове;
в) 2<3;
г) 2·2 = 4;
д) некоторые змеи ядовиты.
№5. Предикаты P1 и Р2 заданы на N высказывательными формами «х — простое число» и «х — четное число». Найдите множество истинности предиката Р, заданного конъюнкцией этих высказывательных форм.
№6. Задайте множество значений переменной так, чтобы на этом множестве данные высказывательные формы были равносильны: а) «х кратно 3»; «х кратно 5»; б) «у — четное число»; «у — простое число»; в) x3—1 = 0; х2+2х-3=0; г) «z —ромб»; «диагонали в z взаимно перпендикулярны».
№7. Определите,
равносильны ли на множестве М следующие
высказывательные формы: а)
,
х≠2, М=R; б)
,
х2; М=R;
в)
,
х<2; М=R; г)
,
х2; М=R;
д) «
»,«у—
составное число»; M=N;
е) «
»,
«у — нечетное число»; M=N;
ж) «
»,
«
— нечетная функция»; М — множество
всевозможных числовых функций числового
аргумента; з) х{
},
х{1; 6; 7}; М={1; 2; 3; 4; 5;
6; 7}.
№8. Следующие высказывательные формы замените равносильными им дизъюнкциями:
а) |х + 3| > 3; б) (х — 5)/(х— 1) > 0; в) х2 — 5х + 6 = 0;
г) х2 + у2≠ 0.
№9 Как записать символически равносильность двух уравнений
f1 (х, у) = 0 и f2 (x, у) = 0?
№10. Записать с помощью логической символики, что система уравнений: f1(х, у) = 0 и f2 (x, у) = 0 несовместна (не имеет решений).
№11. Записать с помощью логической символики высказывания:
а) существует точно одно х, такое, что Ф(х);
б) существует по крайней мере два х, таких, что Ф(х);
в) существует не более двух х, таких, что Ф(х).
№12. Записать с помощью логической символики высказывания:
Для всех х, удовлетворяющих условию Ф1 (x), имеет место Ф2 (х).
Существует х, удовлетворяющий условию Ф1 (x)и такой, что имеет место Ф2(х) .
№13. Определите, следует ли одна высказывательная форма из другой, если M=R:
а) |х]<3; х2—Зх+2=0; б) х4=16; х2=-2; в) х2+х-6=0; (х— 1)(х—2)(х—3) = 0; г) х—1>0; (х—2) (х—5) =0; д) sinx=2; х2 + 5=0; е) х2+5х—6>0; х+1 = 1+х.
4. Приложение математической логики.
4.1. Виды теорем и их взаимосвязь.
1. Понятие теоремы.
Рассмотрим с точки зрения введённых во второй и третьей главах понятие теоремы. Большинство теорем, встречающихся в школьном курсе математики, представляют собой высказывания в виде
х А(х)В(х), хU. (1)
Ограничимся строением таких теорем. Возьмём, например, теорему: «Во всяком треугольнике против равных сторон лежат равные углы». Здесь на самом деле рассматриваются два предиката
А(Δ)={в ΔАВС стороны АВ и ВС равны}и В(Δ)={в ΔАВС угол А равен углу С}, заданных на множестве всех треугольников.
Теорема утверждает, что для любого треугольника из истинности А(Δ) следует истинность В(Δ), а это как раз можно записать кратко Δ А(Δ)В(Δ) .
В формулировке каждой теоремы, имеющей структуру (1), будем различать:
1.Условие теоремы – предикат А(х).
2.Заключение теоремы – предикат В(х).
3. Разъяснительную часть теоремы – описание элементов множества U, на котором заданы предикаты А(х) и В(х) вместе с указанием на то, что импликации А(х)В(х) истинна для всех его элементов.
Нередко при формулировке теорем опускается разъяснительная часть. Например, теорема о диагоналях ромба формулируется так: «Диагонали ромба взаимно перпендикулярны». При этом, конечно, подразумевается, что утверждение теоремы относится к каждому ромбу. Из-за краткости формулировки теоремы о диагоналях ромба может показаться, что эта теорема не имеет формы (1). На самом деле это не так. Точная формулировка этой теоремы такова (напомним, что ромбом называется параллелограмм, у которого все стороны равны):
Пусть Р – множество параллелограммов и пусть А(р)={Параллелограмм р – ромб} и В(р)={диагонали параллелограмма р взаимно перпендикулярны} – два предиката, заданных на множестве Р. Тогда р А(р)В(р), т.е. для любого параллелограмма верно утверждение, если он – ромб, то его диагонали взаимно перпендикулярны.
2. Обратные теоремы.
Для всякой теоремы вида «если А, то В» можно сформулировать обратное ей предложение «если В, то А». Однако не для всякой теоремы предложение, ей обратное, также является теоремой. Пусть, например, даны такие две теоремы: «Если два квадрата равны, то их площади равны»; «Если два прямоугольника равны, то их площади равны». Предложение «Если площади двух квадратов равны, то эти квадраты равны», обратное первой из данных теорем, является теоремой. Предложение «Если площади двух прямоугольников равны, то они равны», обратное второй из данных теорем, теоремой не является.
Эти примеры свидетельствуют о неравносильности предложений вида А(х)В(х) и В(х)А(х). В неравносильности предложений такого вида можно также убедиться, сравнив таблицы истинности формул АВ и ВА:
А |
В |
АВ |
ВА |
и |
и |
и |
и |
и |
л |
л |
и |
л |
и |
и |
л |
л |
л |
и |
и |
Поскольку два последних столбца в таблице не одинаковы, эквиваленция этих формул не является тавтологией, т. е. они не равносильны. Более того, из таблицы видно, что одновременно с истинностью предложения вида «если А, то В», предложение вида «если В, то А» может быть как истинным, так и ложным.
Таким образом, если доказана истинность какого-либо предложения, то независимо от этого обратное ему предложение требует доказательства или опровержения.
3. Противоположные теоремы.
Для
всякой теоремы, сформулированной в
виде импликации АВ,
можно составить противоположное
предложение
.
Предложение, противоположное данной
теореме, может быть также теоремой, но
может ею и не быть. В этом легко убедиться,
сравнив таблицы истинности формул АВ
и
;
в том случае, когда предложение вида
АВ истинно, предложение
.
может быть как истинным, так и ложным.
Следовательно, предложение, противоположное
доказанной теореме, в свою очередь
нуждается в доказательстве или
опровержении.
Если условие или заключение данной теоремы представляет собой конъюнкцию или дизъюнкцию, то при составлении предложения, противоположного этой теореме, нужно учитывать соответствующий закон де Моргана . Иногда конъюнкция или дизъюнкция в формулировке теоремы присутствует неявно, «замаскировано». Поэтому, чтобы правильно сформулировать предложение, противоположное данной теореме, нужно сначала тщательно проанализировать ее формулировку и выявить подразумеваемые конъюнкции или дизъюнкции (если таковые имеются). Например, в заключении теоремы «Если треугольник ABC равнобедренный, то два его угла равны» скрыта дизъюнкция: A=B, или B=C, или A=C. Отрицание этой дизъюнкции дает конъюнкцию A≠B, или B≠C, или A≠C, что короче можно выразить так: «Никакие два угла треугольника ABC не равны».
4. Закон контрапозиции.
Нам осталось рассмотреть соотношение между обратно-противоположными предложениями, т. е. предложениями вида АВ и . Имеет место следующая равносильность :
АВ = - закон контрапозиции.
Согласно закону контрапозиции: 1) два предложения вида АВ и одновременно истинны, либо одновременно ложны; 2) предложение, обратно противоположное какой-либо теореме, также является теоремой; 3) вместо данной теоремы можно доказывать обратно-противоположную ей теорему.
Пусть, например, требуется доказать утверждение «Если m2 нечетно, то m нечетно». Сформулируем и докажем обратно-противоположную теорему: «Если m четно, то m2 четно»; действительно, если m четно, то m=2р {р — натуральное число), откуда m2=4р2=2·(2р2) =2q, т. е. m2 четно. Предположение, обратно-противоположное данному, доказано; следовательно, доказано и данное утверждение.
Если в равносильность АВ = подставить В вместо А и А вместо В, то получим ВА= . Из этой равносильности следует, что: 1) предложение, обратное данному, и предложение, противоположное данному, одновременно истинны либо одновременно ложны; 2) из двух предложений — обратного данной теореме и ей противоположного— достаточно доказать или опровергнуть какое-нибудь одно; тем самым будет доказано или соответственно опровергнуто и второе.