Контрольная работа 3

«Теория предикатов»

Решение оформить на отдельных скрепленных листах.

На листе указать фамилию, группу и решаемый вариант.

Фамилия Вариант Семенихин 27

Аблекимов 5 Симоненко 23
Бахарев 13 Смирнов 12
Валько 17 Степанов 16
Григорьев 21 Терещенко 6
Денк 28 Толмачев 18
Деревянных 19 Трушников 14
Исаков 22 Шабунин 20
Клюев 7
Клюшов 29
Ковалева 9
Коротких 8
Красильникова 25
Кутявин 30
Лихачев 1
Маковецкий 15
Мезенцев 10
Михайлов 2
Одинцов 31
Парамонов 26
Поздеев 3
Ратанов 24
Рогова 11
Рожков 4
Примечание:
Запись: x ⋮ 3 означает, что число x делится на 3 без остатка, т.е. нацело.

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

Общая формулировка заданий:

Задание 1. Определить, является ли выражение предикатом. Доказать если да или если нет.
Задание 2. Найти множество истинности для предиката.
Задание 3. Записать фразу через предикатную формулу. ИЛИ записать указанную часть решения из последнего задания практического занятия
«Запись и чтение предикатов»
Задание 4. Записать процесс нахождения ПНФ для предикатной формулы.
 Вариант 1
Задание 1. «x делится на 9» (x ϵ N)
Задание 2. « x ⋮ 5 » (x ϵ {1, 2, 3, 4, 5, 6, 7, 8, 9, 10})
Задание 3. «Через любые две точки проходит одна прямая»
Задание 4.
[∀ yP ( y) ∧∃ xQ ( x)]∧ ∀ z [R (x) ∧ K ( y , z)]

Вариант 2
Задание 1. «x2 - 5x + 19» (x ϵ N)
Задание 2. «x2 - 9 > 0» (x ϵ R)
Задание 3. «От перемены мест слагаемых сумма не меняется»
Задание 4.
∀ y [P ( y)∧Q( x )]→ ∀ z [R( z)∧ ∃ xK ( x , y)]

Вариант 3
Задание 1. «x2 + 8x + 19 = 0» (x ϵ N)
Задание 2. «x2 + x – 9 > 0» (x ϵ R)
Задание 3. «Найдется человек, который старше любого другого»
Задание 4.
∀ y ∀ x [F ( y )∧ Q( x)]→ ∀ zR (z)∧T (x , z)

Вариант 4
Задание 1. «ctg 45° = 1»
Задание 2. «x2 + y2 = 0» (x ϵ N, y ϵ R)
Задание 3. «Каждый квадрат является ромбом»
Задание 4.
∀ y (∃ xQ( x )∧ Q( x , y )) ∧ ∀ z( H (z)∧ K (x , z ))

Вариант 5
Задание 1. «x делится на 11» (x ϵ Z)
Задание 2. « x ⋮ 4 » (x ϵ {2, 3, 5, 6, 8, 9})
Задание 3. «Для каждого человека найдется другой, который младше
первого»
Задание 4.
∀ x ∃ z (P( z )∧ Q( x) → ∀ y [ R(z )∧ K ( x , y)])
 Вариант 6
Задание 1. «x2 – 3x + 9» (x ϵ Q)
Задание 2. «x2 + y2 = 0» (x ϵ Z)
Задание 3. Объекты из фразы d.
Задание 4.
∀ y ([ ∃ xP ( y , x )→ Q(x , y )]∧ ∃ z [R ( z) ∨ K ( x , z )])

Вариант 7
Задание 1. «4x2 + 4x + 1 = 0» (x ϵ R)
Задание 2. «x2 + 4x – 4 = 0» (x ϵ Z)
Задание 3. «Для каждого числа найдется второе, чтобы в сумме они
составляли 10»
Задание 4.
∃ x ( ∀ yP( y ) ∨[Q( x )→ ∀ zR ( z) ∧ K (x , z)])
Вариант 8
Задание 1. «tg 45° = 2»
Задание 2. «x < y» (x ϵ {11, 12, 13, 14}, y ϵ {13, 15, 17})
Задание 3. «Любые два человека враждуют»
Задание 4.
∀ y ∃ x [P( y )∨ Q( x)→ R ( z)]∧ K (x , z)

Вариант 9
Задание 1. «x делится на 2 » (x ϵ Q)
Задание 2. « x ⋮ 3 » (x ϵ {2, 4, 8, 16})
Задание 3. «Всякий человек смертен»
Задание 4.
∃ x (∀ y [ P( y) → Q( x)→ ∀ z R (z)]∧ K ( x ))

Вариант 10
Задание 1. «4x2 + 4x + 1» (x ϵ Z)
Задание 2. «x2 + 15 < 0» (x ϵ Z)
Задание 3. Логические операции из фразы b.
Задание 4.
∀ yP( y )∧ ∃ x ( Q( x)→ ∀ z [R( z) → K (x , z)] )
 Вариант 11
Задание 1. «x2 – 6x – 1 = 0» (x ϵ N)
Задание 2. «9x2 + 6x – 1 = 0» (x ϵ Z)
Задание 3. «Если птицы полетели на юг, то зима холодная»
Задание 4.
∃ x ( ∀ yP( y ) ∧[Q( x )∧ ∀ zR (z)]→ K ( x))

Вариант 12
Задание 1. «sin 0° = 1»
Задание 2. «x > y» (x ϵ {10, 11, 13, 14}, y ϵ {13, 14, 15})
Задание 3. Кванторы из фразы c.
Задание 4.
∃ x ∀ yP ( y) ∧Q(x )→ ∀ z [R(z )∧ K ( x , y )]

Вариант 13
Задание 1. «x делится на 1 » (x ϵ N)
Задание 2. « x ⋮ 6 » (x ϵ {-6, 0, 6, 12, 18, 20})
Задание 3. Объекты из фразы c.
Задание 4.
∀ z ([ ∀ yP( y , x )∧ Q( x)]→ ∀ x [ R( y , x)∧ K (x , z )])

Вариант 14
Задание 1. «x + 2x + 1» (x ϵ R)
2

Задание 2. «x2 + 1 > 0» (x ϵ Q)

Задание 3. «Каждой прямой принадлежат две точки»
Задание 4.
∃x¿

Вариант 15
Задание 1. «x делится на 19» (x ϵ N)
Задание 2. « x ⋮ 5 » (x ϵ {-1, -2, -3, -4, -5, -6, -7, -8, -9})
Задание 3. «Если ты человек, то ты смертен»
Задание 4.
∀ x([∃ y P( y) ∧Q(x )]→ ∀ z [R ( z)∧ K ( x , z )])
 Вариант 16
Задание 1. «x2 - 6x + 9» (x ϵ N)
Задание 2. «x2 + 13 > 0» (x ϵ Z)
Задание 3. «Есть птицы, которые не умеют летать»
Задание 4.
∃ x ([∀ yP( y)→Q(x )]∨ ∃ z [R ( z)∧ K ( x , z)])

Вариант 17
Задание 1. «cos 45° = 1»
Задание 2. «3x2 + x – 9 < 0» (x ϵ N)
Задание 3. «Все конфеты шоколадные»
Задание 4.
∃ z (∀ x [R (z) ∧ K (x , z )]→[∀ yP( y) ∨Q(x)])

Вариант 18
Задание 1. «x делится на 2» (x ϵ Z)
Задание 2. «x2 + y2 = -3» (x ϵ R, y ϵ Q)
Задание 3. Логические операции из фразы d.
Задание 4.
[∀ y P( y )∨ Q(x)] → ∀ zR (z) ∧∃ xK ( x , y)

Вариант 19
Задание 1. «2x – 8x + 7» (x ϵ Q)
2

Задание 2. «x2 + 4x - 9 < 0» (x ϵ R)

Задание 3. «Любые два числа в произведении дают 100»
Задание 4.
∃ x ([∀ yP( y) ∧Q(x )]→ ∀ z [ R(z )→ K ( x , z )])

Вариант 20
Задание 1. «9x2 + 6x + 1 = 0» (x ϵ R)
Задание 2. «x2 + 16x – 25 = 0» (x ϵ N)
Задание 3. «Всегда найдется человек, который любит петь»
Задание 4.
∃ x ([∀ yP( y , x) ∧Q( x , y)]→ ∀ z [ R( z )∧ K ( x , z)])
 Вариант 21
Задание 1. «x делится на 9» (x ϵ N)
Задание 2. « x ⋮ 5 » (x ϵ {1, 3, 4, 6, 7, 9, 11, 12})
Задание 3. Объекты из фразы b.
Задание 4.
∀ z [R (x) ∧ K ( y , z)]∧∃ x [∀ yP( y , x )∧ Q(x)]

Вариант 22
Задание 1. «x2 + 5x + 9» (x ϵ N)
Задание 2. «x2 + 9 > 0» (x ϵ R)
Задание 3. «От перемены мест множителей произведение не
меняется»
Задание 4.
∃ x (∀ y [ P( y) ∧Q(x )]→ ∀ z [R ( z)∧ K ( x , y )])
Вариант 23
Задание 1. «x2 + 5x + 19 = 0» (x ϵ N)
Задание 2. «x2 + x – 9 > 0» (x ϵ R)
Задание 3. «Найдется человек, который старше любого другого»
Задание 4.
∀ x(∀ y [ P( y )∨ Q(x)]→ ∀ z [ R( x , y , z) ∧ K (x , z )])

Вариант 24
Задание 1. «ctg 60° = -1»
Задание 2. «x2 + y2 = 0» (x ϵ N, y ϵ N)
Задание 3. «Каждый квадрат является ромбом»
Задание 4.
∃ x ( ∀ yP( y ) →Q(x )) ∧ ∀ z ( H (z , x)→ K ( x , z))

Вариант 25
Задание 1. «x делится на 11» (x ϵ Z)
Задание 2. « x ⋮ 4 » (x ϵ {2, 3, 5, 6, 8, 9})
Задание 3. «Для каждого человека найдется другой, который любит
первого»
Задание 4.
∀ x ∃ z [ P ( z ) ∧Q ( x )]→ ∀ y [R (z) ∧ K (x , y )]
 Вариант 26
Задание 1. «x2 - 3x + 9» (x ϵ Q)
Задание 2. «x2 + 4 = 0» (x ϵ R)
Задание 3. «Через любые три точки проходит прямая»
Задание 4.
∃ x ([∀ yP( y) →Q(x )]→ ∃ z [ R( z )→ K (x , z )])

Вариант 27
Задание 1. «4x2 – 4x + 1 = 0» (x ϵ R)
Задание 2. «x2 + 4x – 4 = 0» (x ϵ Z)
Задание 3. «Для каждого числа найдется второе, чтобы в сумме они
составляли 10»
Задание 4.
∃ x ( ∀ yK (x , y) ∧[Q( x )→ ∀ zR (z )∨ K ( x , z)])
Вариант 28
Задание 1. «tg 40° = -0,5»
Задание 2. «x < y» (x ϵ {11, 12, 13, 14}, y ϵ {13, 15, 17})
Задание 3. «Любые два человека дружат»
Задание 4.
∀ y [P ( y) ∨Q(x )→ R(z )]∧∃ xK (x , z )

Вариант 29
Задание 1. «x - 3x + 9» (x ϵ Z)
2

Задание 2. «x2 + y2 = 0» (x ϵ Z, y ϵ Z)
Задание 3. «Любые два числа в сумме дают 25»
Задание 4.
∀ z ([ ∀ yP( y , x )∧ Q( x)]→ ∀ x [ R( y , x)∧ K (x , z )])

Вариант 30
Задание 1. «x делится на 12 » (x ϵ R)
Задание 2. «x ≥ y» (x ϵ {1, 2, 3, 4}, y ϵ {3, 4, 5})
Задание 3. «Любые два человека дружат»
Задание 4.
∀ y [P ( y) ∨Q(x )→ R(z )]∧∃ xK (x , z )
 Вариант 31
Задание 1. «x делится на 12» (x ϵ Z)
Задание 2. «x2 + y2 = -3» (x ϵ Z, y ϵ Q)
Задание 3. Логические операции из фразы с.
Задание 4.
[∀ y P( y )∨ Q(w)]→∃ zR( z )∧ ∀ y K ( x , y )