Основные понятия математической логики

• Название: Основные понятия математической логики
• Дата: 16.02.2022
• Размер: 2.32 Mb.
• Имя файла: ege15.doc
• Тип: Закон; #363571
• страница: 46 из 50

(x < 9) → ((5y < x) → (2xy < A))

тождественно истинно при любых целых положительных x и y?

354. 
     (А.М. Кабанов, Тольятти) Для скольких целых положительных значений A выражение
     

(2x + 3y ≠ 13) ∨ (2y + 3x ≠ 12) ∨ ((x² + 3x – 1 < A) ∧ (2y² – 4y + 20 > A))

тождественно истинно при любых целых положительных x и y?

355. 
     (А.М. Кабанов, Тольятти) Для скольких целых положительных значений A выражение
     

(–5x + y ≠ –7) ∨ (x² – y ≠ 1) ∨ ((x + 3y > A) ∧ (y – x ≤ A))

тождественно истинно при любых целых положительных x и y?

356. 
     (А.М. Кабанов, Тольятти) Для какого целого положительного значения A выражение
     

((y ≥ –4x + 12) ∧ (y ≥ 4x – 12)) ≡ (y ≥ A|x – 3|)

тождественно истинно при любых целых положительных x и y?

357. 
     (А.М. Кабанов, Тольятти) Для какого целого положительного значения A выражение
     

((y ≤ 5x – 14) ∧ (y ≤ –5x + A)) ≡ (y – 6 ≤ –5|x – 4|)

тождественно истинно при любых целых положительных x и y?

358. 
     (А.М. Кабанов, Тольятти) Для какого целого положительного значения A выражение
     

(y ≤ |x² – 4x –5|) ≡ ((y ≤ x²– 4x – 5) ∨ (y ≤ – (x – 2)² + A))

тождественно истинно при любых целых неотрицательных x и y?

359. 
     (А.М. Кабанов, Тольятти) Для какого целого положительного значения A выражение
     

(y ≤ (4 + |x + 8| + |x – 8|)) ≡ ((y ≤ 2x + 4) ∨ (y ≤ A))

тождественно истинно при любых целых неотрицательных x и y?

360. 
     (А.М. Кабанов, Тольятти) Найдите целые положительные значения A и B, при которых выражение