Логика предикатов

Северо-Кавказский горно-металлургический институт (ГТУ)

Факультет информационных технологий и электронной техники

Кафедра информационных систем в экономике

Типовой расчёт №2

«Логика предикатов»

Выполнила:

студентка группы ИСб22-1

Бурнацева Таисия Ахсаровна

Проверила:

Крыжановская И.В.

Владикавказ 2022 г.

Вариант – 6.

1. На множестве  заданы два предиката  « – простое число» и «– нечетное число». Составить область истинности предиката [pic 1][pic 2][pic 3][pic 4][pic 5][pic 6]

[pic 7]

[pic 8]

1. Изобразить на координатной плоскости область истинности предиката [pic 9]

[pic 10]

[pic 11]

[pic 12]

[pic 13]

[pic 14]

           [pic 15][pic 16]

[pic 17][pic 18][pic 19][pic 20][pic 21][pic 22][pic 23][pic 24][pic 25][pic 26][pic 27][pic 28][pic 29][pic 30][pic 31][pic 32][pic 33][pic 34][pic 35][pic 36][pic 37][pic 38][pic 39][pic 40][pic 41][pic 42][pic 43][pic 44][pic 45][pic 46][pic 47][pic 48][pic 49][pic 50][pic 51]

[pic 52][pic 53]

[pic 54][pic 55]

[pic 56][pic 57][pic 58][pic 59][pic 60]

[pic 61][pic 62][pic 63]

[pic 64][pic 65][pic 66]

[pic 67][pic 68][pic 69]

[pic 70][pic 71][pic 72]

[pic 73][pic 74][pic 75][pic 76]

[pic 77][pic 78][pic 79][pic 80][pic 81][pic 82][pic 83][pic 84][pic 85][pic 86][pic 87][pic 88][pic 89][pic 90][pic 91][pic 92]

[pic 93][pic 94]

[pic 95][pic 96]

[pic 97][pic 98][pic 99][pic 100][pic 101][pic 102]

[pic 103]

[pic 104][pic 105]

1. Записать решение уравнения  в виде последовательности равносильных предикатов.[pic 106]

[pic 107]

[pic 108]

[pic 109]

1. Доказать, что  методом конкретизации.[pic 110]

Пусть область определения  [pic 111]