Практическое занятие 10. 2.Кванторы существования и общности. Построение отрицаний к предикатам, содержащим кв

Самостоятельные задания
Пример 1: На множестве Х = {-2, -1, 0, 1, 2, … , 10} заданы предикаты А(х): «2х - 1 <
3» и В(х): «х + 2х = 0». Получить предикат 𝐴(𝑥) ∧ 𝐵(𝑥)
Пример 2: Придумайте самостоятельно предикаты P(x), Q(x), A(x), B(x), C(x).
Используя операции отрицания, конъюнкции и дизъюнкции предикатов, и операции над
кванторами, постройте составные предикаты:
1. ∀𝑥(𝑃(𝑥) ∨ 𝑄(𝑥))
2. ∃𝑥(𝑃(𝑥) ∧ 𝑄(𝑥))
3. ∃𝑥(𝑃(𝑥) → 𝑄(𝑥))
4. 𝐴(𝑥) ∨ 𝐶(𝑥) ∧ 𝐵(𝑥)
5. 𝐴(𝑥) ∧ 𝐵(𝑥) ∨ 𝐶(𝑥)