3. Подберите элементарные предикаты и запишите следующие высказывания:

1. a) каждое положительное действительное число является квадратом другого;

1. b) натуральное число, которое делится на 6, разделится и на 2;

1. a) для каждого натурального числа существует одно и только одно число, непосредственно следующее за ним;

b) каждое действительное число является кубом другого;

2. a) натуральное число, которое делится на 6, разделится и на 3;

b) произведение двух натуральных чисел, одно из которых четное, другое нечетное, есть число четное;

3) a) от перемены мест сомножителей произведение не меняется;

b) натуральное число, которое делится на 2 и 3, разделится на 6;

4. a) натуральное число, которое делится на 9, разделится на 3;

b) от перемены мест слагаемых сумма не меняется;

4. a) частное от деления двух натуральных четных чисел, если оно существует, есть число четное или нечетное;

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

4. a) для чисел отличных от нуля существует наибольший общий делитель;

b) если произведение двух натуральных чисел делится на 12, то среди них есть четное число, делящееся на 3;

4. a) если произведение двух натуральных чисел делится на 18, то хотя бы один сомножитель делится на 6 или хотя бы один из сомножителей нечетный;

1. б) сумма двух натуральных чисел, имеющих различную четность, нечетна;

4. a) для чисел отличных от нуля существует наименьшее общее кратное;

б) если ни одно из двух натуральных чисел не делится на 11, то их произведение не делится на 11;

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

б) сумма двух натуральных четных чисел, есть число четное.

4. Запишите определения на языке логики предикатов, используя ограниченные кванторы, и постройте их отрицания:

0) Функция f (x) называется возрастающей в промежутке X из области определения, если для любых x1, x2 X, из условия x1< x2 следует неравенство f(x1) < f(х2).

1) Прямая называется асимптотой графика функции y = f(x), если при удалении точки M в бесконечность по графику, расстояние от M до этой прямой стремится к нулю

2) Функция (x) называется бесконечно малой при xa, если для любого >0 вблизи точки a выполняется неравенство |(x)|< (это значит, что существует проколотая окрестность точки a, в которой выполняется указанное неравенство)

3) Функция f непрерывна в точке a, если она определена в этой точке и разность f(x)-f(a) бесконечно мала при xa, т.е. функция f непрерывна в точке a в том и только в том случае, когда .

4) Функция f(x) бесконечно большая при xa, если функция бесконечно мала приxa.

5) Функция называется периодической, если существует такое число T, что для любого аргумента x число x T принадлежит области определения и f(x  T)=f(x).

6) Число А называется пределом бесконечной числовой последовательности {a_n} = a₁, a₂, a₃, … , a_i, … , a_n, …, если для всякого >0 существует такое натуральное n_, что для всякого номера n, если n> n_, то |a_n - A|<.

7) Функция f (x) называется убывающей в промежутке X из области определения, если для любых x1, x2 X, из условия x1 < x2 следует неравенство f(x1) > f(х2).

8) Функция называется четной, если для любого аргумента x из области определения число -x также входит в область определения и f(-x)=f(x).

9) Функция f (x) называется убывающей в промежутке X из области определения, если для любых x1, x2 X, из условия x1 < x2 следует неравенство f(x1) > f(х2).