ТЕМА № 3. ЛОГИКА ПРЕДИКАТОВ

Понятие предиката. Множество определения и множество истинности предиката. Кванторы общности и существования. Операции над предикатами: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция. Их множества истинности. Необходимые и достаточные условия.

Литература: [1] с. 51-65; [2] с. 29-50; [3] с. 65-81; [4] с. 43-51; [5] с. 33-60; [6] с. 45-50; [7] с. 57-77.

ЛОГИКА ПРЕДИКАТОВ (задания I уровня)

 

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

а) студент ….. является старостой группы;

б) озеро х находится в Сибири;

в) слово у отвечает на вопрос «как»;

г) разность чисел 5 и 2 равна 2;

д) при х=2 выполняется 2х=4;

е) число 5 больше 0.

 

1Б. Среди данных записей выделите высказывания, числовые выражения, предикаты:

а) 2+5<12; б) 1/2 = 3/6; в) 10:2+3-5·6;

г) 30 – 4·7=28+40:8; д) 2х –12<22; е) 16х/2=24.

 

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

а) число ….. отрицательное;

б) город Брест находится в Беларуси;

в) абитуриент ….. зачислен на 1 курс университета;

г) х=3 является корнем уравнения 2х+1=7;

д) слова а и в – синонимы;

е) сумма чисел 2 и 7 равна 9.

 

2Б. Среди предложенных записей выделите высказывания, предикаты, выражения с переменной:

а) 2+у<10; б) 3х–4у+9; в) 3х>9;

г) 2∙12+40>–11; д) х²+6х–5; е) 3+2≠5.

 

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

а) город х стоит на берегу Волги;

б) разность чисел х и 2 больше 5;

в) треугольник является геометрической фигурой;

г) в группе 20 студентов;

д) сумма двух слагаемых;

е) число х – корень уравнения х+2=17.

 

3Б. Запишите следующие предложения с помощью математических знаков, укажите среди них высказывания и предикаты, объясните свое решение:

а) сумма чисел 3 и 9 равна 11;

б) число 7 увеличить в 2 раза;

в) разность чисел х и 2 равна 7;

г) число 0 больше числа –5.

 

4А. Среди следующих предложений выделите высказывания и предикаты, ответ обоснуйте:

а) число у является делителем числа 16;

б) звук ….. – гласный;

в) ни один человек не весит более 500 кг;

г) хотя бы одно из чисел 1, 2, 3, 4, 5 является решением уравнения

х²–1=0;

д) множества пересекаются;

е) число 12 имеет конечное число делителей.

 

4Б. Запишите следующие предложения с помощью математических знаков, укажите среди них высказывания и предикаты, объясните свое решение:

а) число х больше ½;

б) разность чисел 42 и 11 равна 18;

в) число х уменьшить в 10 раз;

г) произведение чисел 5 и х равно 25.

 

5А. Среди следующих предложений выделите высказывания и предикаты, ответ обоснуйте:

а) слово ….. является наречием;

б) простое число имеет только два делителя;

в) для любого натурального числа n верно 3n+2>0;

г) график функции у=х² симметричен относительно оси ординат;

д) прямые параллельны;

е) число х – простое.

 

5Б. Запишите следующие предложения с помощью математических знаков, укажите среди них высказывания и предикаты, объясните свое решение:

а) сумма чисел 2х и 11;

б) число 6 равно числу 11;

в) число х меньше 0;

г) из суммы чисел 3 и 7 вычесть 4.

 

0А. Среди следующих предложений выделите высказывания и предикаты, ответ обоснуйте:

а) слово ….. обозначает признак предмета;

б) число х делится без остатка на 3;

в) город ….. находится в Беларуси;

г) неправда, что подснежники появляются весной не первыми;

д) высказывания ложны;

е) 25 при делении на 6 дает в остатке 1.

Решение:

а) Это предложение является предикатом, поскольку оно превращается в высказывание (истинное или ложное) при подстановке вместо пропущенного конкретных слов. Например, «слово «стол» обозначает признак предмета» - ложно; «слово «красный» обозначает признак предмета» - истинно.

б) Это предложение является предикатом, который при, например, х=9 обращается в истинное высказывание, а при х=4 в ложное.

в) Это предложение является предикатом, который при, например, подстановке города Бреста обращается в истинное высказывание, а при подстановке города Парижа – ложное высказывание.

г) Это предложение является высказыванием, поскольку можно сказать, что оно истинно.

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

е) Это предложение является истинным высказыванием, поскольку, действительно, 25=6× 4+1.

0Б. Среди следующих предложений выделите высказывания, предикаты, числовые выражения:

а) 15х–11; б) 2х+5≤6: в) 2+3>13;

г) 2∙8+11–13; д) 5/12-1/2= – 1/12; е) 7х=х²+6х+1.

Решение:

в, д – высказывания, т.к. это числовые выражения, соединенные знаками >,=, из которых д - истинно, в - ложно.

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

г – числовое выражение.

а – не является ни высказыванием, ни предикатом, ни числовым выражение, это выражение с переменной.

 

 

ЛОГИКА ПРЕДИКАТОВ (задания II уровня)

 

1А. На множестве геометрических фигур задан предикат Р(х): «Фигура х - многоугольник». Прочитайте следующие высказывания и определите их значения истинности:

а) А (∆); б) А (трапеция); в) А (квадрат);

г) А (семиугольник); д) А (окружность); е) А (луч).

 

1Б. На множестве х={х||х|≤4, хÎZ} дан предикат С(х): «х²+3х–4=0». Какие из значений переменной х=2, х=1, х=0, х=–4 принадлежат множеству истинности предиката С(х)?

 

2А. На множестве целых чисел задан предикат В(х,у): «х кратно у». Прочитайте следующие высказывания и определите их значения истинности: а) В(3, 4); б) В(12, 6); в) В(17, 17); г) В(0, 8); д) В(7, 0); е) В(2, 4).

 

2Б. На множестве Д={1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13} задан предикат Р(х): «х – делитель числа 24». Прочитай высказывания и определите их значения истинности: а) Р(2); б) Р(3); в) Р(5); г) Р(9); д) Р(10). Запишите множество истинности предиката Р(х).

 

3А. На множестве натуральных чисел задан предикат А(х): «х – нечетное число». Найдите значения истинности следующих высказываний: а) А(1); б) А(2); в) А(17); г) А(0); д) А(½); е) А(14);

 

3Б. На множестве целых неотрицательных чисел, меньших 30, задан предикат S(х): «Число х при делении на 7 дает в остатке 1 или 2». Какие из значений переменной х=11, х=15, х=23, х=22 принадлежат множеству истинности предиката S(х)? Запишите, из каких чисел состоит множество истинности.

 

4А. На множестве слов русского языка задан предикат В(х): «Слово х - глагол». Запишите следующие высказывания и определите их значения истинности: а) В(идешь); б) В(нести); в) В(решенный); г) В(ответ); д) В(заниматься); е) В(спешка).

 

4Б. На множестве целых чисел задан предикат V(х): «2х²–8≤0». Какие из значений переменной х=4, х=–4, х=0, х=–1 принадлежат множеству истинности предиката V(х)? Запишите, из каких чисел состоит его множество истинности.

 

5А. На множестве животных задан предикат R(х): «Животное х – домашнее». Запишите следующие высказывания и определите их значения истинности: а) R(заяц); б) R(крыса); в) R(курица); г) R(крот); д) R(лошадь); е) R(корова).

 

5Б. На множестве натуральных чисел, не превосходящих 20, задан предикат К(х): «Число х делится на 4 нацело». Прочитайте высказывания и определите их значения истинности: а) К(6); б) К(8); в) К(9); г) К(16). Запишите множество истинности предиката К(х).

 

0А. На множестве фигур плоскости задан предикат Q(х): «Фигура х имеет ось симметрии». Прочитайте следующие высказывания и определите их значения истинности: а) Q(прямоугольник); б) Q(ромб); в) Q(трапеция); г) Q(окружность); д) Q(равнобокая трапеция).

Решение:

а) «Прямоугольник имеет ось симметрии» - это высказывание истинно, т.к. прямоугольник имеет оси симметрии:

 

 

б) «Ромб имеет ось симметрии» - это высказывание истинно, т.к. ромб имеет 2 оси симметрии:

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

г) «Окружность имеет ось симметрии» – это высказывание истинно, т.к. окружность имеет бесконечное множество осей симметрии:

д) «Равнобокая трапеция имеет ось симметрии» – это высказывание истинно, т.к. равнобокая трапеция имеет ось симметрии:

0Б. На множестве целых чисел задан предикат G(х): «-х²+5х+6≥0». Какие из значений переменной принадлежат множеству истинности предиката G(х): х=0, х=2, х=4? Запишите множество истинности предиката G(х).

Решение:

Дан предикат G(х): «-х²+5х+6≥0». Найдем множество истинности предиката G(х) (т.е. множество значений переменной, обращающих предикат в истинное высказывание).

-х²+5х+6≥0

-х²+5х+6=0

Д=25-4× 6(-1)=49≥0 х₁= = –1 х₂= = 6

– + –

хÎ[–1;6]

Предикат G(х)задан на множестве целых чисел, значит, Т _G(х)={-1; 0; 1; 2; 3; 4; 5; 6}. х=0, х=2, х=4 принадлежат Т _G(х).

Ответ: 0 ÎТ _G(х), 2Î Т _G(х), 4Î Т _G(х).

Т _G(х)={-1; 0; 1; 2; 3; 4; 5; 6}.

ЛОГИКА ПРЕДИКАТОВ (задания III уровня)

 

1А. На множестве N натуральных чисел заданы предикаты Р(х): «Число х четно» и Q(х): «Число х делится на 4». Переведите на обычный язык высказывания, записанные языком символов, и укажите среди них истинные: а) (∀хÎN) Р(х)∨Q(х); б) (ƎхÎN) Q(х)∧Р(х); в) (ƎхÎN) ∨Q(х); г) (∀хÎN) Р(х) ÞQ(х).

 

1Б. Из предиката Р(х): «Диагонали четырехугольника х не равны», заданного на множестве Х всех четырехугольников, образованы высказывания: а) ("хÎХ) Р(х); б) ($хÎХ) Р(х). Переведите их на обычный язык и постройте отрицания этих высказываний двумя способами.

 

2А. На множестве Х четырехугольников заданы предикаты: А(х): «Фигура х - параллелограмм», С(х): «Фигура х - ромб». Переведите на обычный язык следующие высказывания, записанные символически: а) ("хÎХ) А(х)ÚС(х); б) ("хÎХ) С(х)ÞА(х); в) ($хÎХ) С(х)ÞА(х); г) ("хÎХ) Þ . Какие из них истинны?

 

2Б. Из предиката А(х): «Насекомое х - вредитель», заданного на множестве Х всех насекомых, образованы высказывания: а) ("хÎХ) А(х); б) ($хÎХ) А(х). Переведите их на обычный язык и постройте отрицания этих высказываний двумя способами.

 

3А. На множестве Х треугольников заданы предикаты Р(х): «Треугольник х - равносторонний»; Q(х): «Треугольник х -равнобедренный» и R(х): «Треугольник х – прямоугольный». Сформулируйте высказывания и установите их значение истинности: а) (∀хÎХ) Р(х)∧R(х); б) (ƎхÎХ) Q(х)∧R(х); в) (∀хÎХ) Р(х)Þ Q (х); г) (∀хÎХ) .

 

3Б. Из предиката Т(х): «Треугольник х - остроугольный», заданного на множестве Х всех треугольников, образованы высказывания: а) ("хÎХ) Т(х); б) ($хÎХ) Т(х). Переведите их на обычный язык и постройте отрицания этих высказываний двумя способами.

 

4А. На множестве N натуральных чисел заданы предикаты: L(х): «Число х кратно 3»; D(х): «Число х кратно 5»; К(х): «Число х кратно 15». Сформулируйте высказывания и установите их значения истинности: а) (∀хÎN) L(х) ÞК(х); б) (ƎхÎN) L(х)∧Д(х); в) (ƎхÎN) L(х)∧Д(х)ÞК(х); г) (∀хÎN) К(х).

 

4Б. Из предиката М(х): «В треугольнике х все стороны равны», заданного на множестве всех треугольников, образованы высказывания: а) ("хÎХ) М(х); б) ($хÎХ) М(х). Переведите их на обычный язык и постройте отрицания этих высказываний двумя способами.

 

5А. На множестве действительных чисел заданы предикаты: N(х): «Число х – натуральное; Z(х): «Число х – целое; Q(Х): «Число х -рациональное». Сформулируйте высказывания и определите их значения истинности: а) (∀х) Z(х)ÞQ(х); б) (Ǝх) N(х)∧Z (х); в) (∀х) ; г) (Ǝх) .

 

5Б. Из предиката L(х): «Трапеция х - равнобокая», заданного на множестве Х трапеций, образованы высказывания: а) (∀хÎХ) L(х); б) (ƎхÎХ) L(х). Переведите их на обычный язык и постройте отрицания этих высказываний двумя способами.

 

0А. На множестве Х четырехугольников заданы предикаты: А(х): «Фигура х - параллелограмм»; Е(х): «Фигура х имеет центр симметрии»; D(х): "Фигура х имеет ось симметрии". Сформулируйте высказывания и определите, какие из них истинны: а) (ƎхÎХ) А(х)∧Д(х); б) (∀хÎХ) Е(х)∨Д(х); в) (∀хÎХ) А(х)ÞЕ(х); г) (ƎхÎХ) ÞЕ(х).

Решение:

а) «Существует параллелограмм, который имеет ось симметрии» – истинно, т.к. ось симметрии имеет прямоугольник, а прямоугольник является параллелограммом.

 

 

б) «Любой четырехугольник имеет центр симметрии или ось симметрии» - ложно, т.к. не любой четырехугольник имеет центр симметрии или ось симметрии. Например,

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

г) «Некоторые четырехугольники, которые имеют ось симметрии, имеют и центр симметрии» - истинно, т.к. некоторые четырехугольники, имеющие ось симметрии, имеют и центр симметрии (например, прямоугольник).

А некоторые четырехугольники, которые имеют ось симметрии, не имеют центра симметрии (например, равнобокая трапеция).

 

 

0Б. Из предиката S(х): «Число х является натуральным», заданного на множестве действительных чисел R, образованы высказывания: а) ("хÎR) S(х); б) ($хÎR) S(х). Переведите их на обычный язык и постройте отрицания этих высказываний двумя способами.

Решение:

а) А: «Любое действительное число принадлежит множеству натуральных чисел» - Л.

Ā: «Неверно, что любое действительное число принадлежит множеству натуральных чисел» - И.

Ā: «Существует действительное число, которое не принадлежит множеству натуральных чисел» - И.

б) В: «Существуют действительные числа, которые принадлежат множеству натуральных чисел» - И.

: «Не верно, что существуют действительные числа, которые принадлежат множеству натуральных чисел» - Л.

: «Любое действительное число не принадлежит множеству натуральных чисел» - Л.

ЛОГИКА ПРЕДИКАТОВ (задания IV уровня)

 

1А. На множестве Х ={-3, -2, -1, 0, 1, 1, 2, 3, 4} заданы предикаты А(х): «Число х кратно 3» и В(х): «х–1>0». Найдите множества истинности предикатов А(х) и В(х). Сформулируйте предикаты и найдите их множества истинности: а) А(х)ÞВ(х); б) Þ ; в) А(х)ÚВ(х); г) ÙВ(х); д) А(х)ÛВ(х).

 

1Б. Даны предикаты А(х), В(х), С(х), области истинности которых Т_А, Т_В, Т_С. Изобразите штриховкой области истинности следующих предикатов: а) А(х)ÚВ(х); б) А(х)ÙВ(х)ÚС(х); в) А(х)ÞВ(х); г) ÞС(х).

Т_А

 

 

2А. На множестве Х={0, 1, 2,…20} заданы предикаты: А(х): «Число х кратно 6» и В(х): «Число х кратно 3». Сформулируйте конъюнкцию, дизъюнкцию, отрицание, импликацию и эквиваленцию этих предикатов и найдите их множества истинности.

 

2Б. На рисунке изображены множества истинности предикатов А(х), В(х), С(х). Заштрихуйте множества истинности следующих предикатов: а) А(х)Ù ; б) А(х)ÚВ(х)ÙС(х); в) ÞС(х); г) .

 

Т_А Т_В

 

Т_С

 

 

3А. На множестве Х={1, 2,…15} заданы предикаты: А(х): «Число х - четное» и В(х): «Число х кратно 3». Сформулируйте конъюнкцию, дизъюнкцию, импликацию этих предикатов, найдите множества истинности, а также множества истинности предикатов: а) ÞВ(х); б) ÙВ(х).

 

3Б. На рисунке изображены множества истинности предикатов Q(х), S(х), P(х). Найдите и заштрихуйте множества истинности следующих предикатов: а) Q(х)ÚР(х)ÚS(х); б) ÙS(х); в) P(х)Þ S(х); г) .

Т_R Т_S

Т_P

 

4А. На множестве Х={1, 2, 3…20} заданы предикаты: А(х): «Число х - простое», В(х): «Число х – четное». Сформулируйте конъюнкцию, дизъюнкцию, отрицание, импликацию, эквиваленцию предикатов А(х) и В(х), и найдите их множества истинности.

 

4Б. Даны предикаты М(х), N(х), К(х), области истинности которых Т_М, Т_N, Т_К. Найдите и изобразите штриховкой области истинности предикатов: а) М(х)ÚN(х)ÚК(х); б) ÞN(х); в) Ù ; г) М(х)ÙК(х)Þ .

Т_М

Т_N Т_К

 

5А. На множестве Х ={-2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} заданы предикаты А(х): «2х–1<3» и В(х): «2х>0». Сформулируйте предикаты и найдите их множества истинности: а) А(х)ÚВ(х); б) А(х)ÞВ(х); в) Þ ; г) ÙВ(х); д) В(х)ÛА(х).

 

5Б. Даны предикаты А(х), В(х), С(х) с областями истинности Т_А, Т_В, Т_С. Найдите и изобразите штриховкой области истинности предикатов: а) А(х)Ù ; б) А(х)Ù ∧В(х); в) В(х)ÞС(х); г) А(х)ÙВ(х)Þ .

Т_А

Т_С

Т_В

 

 

ЛОГИКА ПРЕДИКАТОВ (задания V уровня)

 

1А. Каким: необходимым или достаточным является условие х>0 для того, чтобы: точка М(х,у) находилась: а) в I четверти; б) в IV четверти; в) в правой полуплоскости. Ответ обоснуйте.

 

1Б. Сформулируйте и выясните истинность теорем: обратной, противоположной, противоположной обратной для теорем:

а) если три стороны одного треугольника равны трем сторонам другого треугольника, то такие треугольники равны;

б) прямая, перпендикулярная радиусу окружности и проходящая через его конец, есть касательная к окружности.

 

2А. Каким: необходимым или достаточным является условие х>0, у>0 для того, чтобы: точка М(х,у) находилась: а) в верхней полуплоскости; б) в правой полуплоскости; в) в I четверти. Ответ обоснуйте.

 

2Б. Сформулируйте и выясните истинность теорем: обратной, противоположной, противоположной обратной для теорем:

а) около всякого правильного многоугольника можно описать окружность;

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

3А. Каким: необходимым или достаточным является условие х=0, для того, чтобы: точка М (х,у) находилась: а) в начале координат; б) на оси ординат. Ответ обоснуйте.

 

3Б. Сформулируйте и выясните истинность теорем: обратной, противоположной, противоположной обратной для теорем:

а) если прямая, не принадлежащая плоскости, параллельна прямой, лежащей в плоскости, то она параллельна и самой плоскости;

б) если сумма противоположных углов четырехугольника равна 180^О, то около него можно описать окружность.

 

4А. Каким: необходимым или достаточным является условие у>0, для того, чтобы: точка М (х,у) находилась: а) в I четверти; б) во II четверти; в) в верхней полуплоскости. Ответ обоснуйте.

 

4Б. Сформулируйте и выясните истинность теорем: обратной, противоположной, противоположной обратной для теорем:

а) если хотя бы один из сомножителей делится на данное число, то и произведение делится на данное число;

б) диагонали ромба взаимно перпендикулярны.

 

5А. Каким: необходимым или достаточным является условие х<0, для того, чтобы: точка М (х,у) находилась: а) во II четверти; б) в III четверти; в) в левой полуплоскости. Ответ обоснуйте.

 

5Б. Сформулируйте и выясните истинность теорем: обратной, противоположной, противоположной обратной для теорем:

а) если сумма цифр числа делится на 3, то число делится на 3;

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