Теоретико-множинні рівняння

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Теоретико-множинні рівняння — це рівняння, змінні (невідомі) та коефіцієнти яких є множини, а операції — операції над множинами.

Методи доведення теоретико-множинних рівнянь[ред. | ред. код]

Відомі, принаймні, три загальні методи доведення теоретико-множинних рівнянь:

  • Доведення включення. Показується, що ліва сторона є підмножиною правої, а права - підмножиною лівої.
  • Таблиця приналежності. Будується аналог таблиці істинності для кожної сторони рівняння.
  • З використанням інших теоретико-множинних тотожностей.