Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
«Теория предикатов»
Квадратные скобки имеют такой же смысл, как и круглые, используются для лучшего восприятия формул.
Вариант 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
Вариант 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
Вариант 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 )