Автор Тема: Совместимость условий (множества)  (Прочитано 170 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн Cyrpych

  • Пользователь
  • Сообщений: 2
    • Просмотр профиля
Совместимость условий (множества)
« : Декабрь 29, 2017, 02:05:46 pm »
Пусть \(  \large A  \) и \(  \large B  \) - произвольные множества. Совместимы ли условия \(  \large A \subseteq (B \setminus A)  \) и \(  \large B \not \subseteq (A \setminus B)  \)? Совместимы ли они для некоторых множеств?
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 
Сказали спасибо: Cyrpych

Оффлайн Cyrpych

  • Пользователь
  • Сообщений: 2
    • Просмотр профиля
Re: Совместимость условий (множества)
« Ответ #2 : Декабрь 29, 2017, 02:39:04 pm »
Admin, спасибо. Получается, что \(  \large \forall x (x \in A \to x \in B \setminus A) \wedge \exists x (x \in B \wedge x \not \in A \setminus B)   \).
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Re: Совместимость условий (множества)
« Ответ #3 : Декабрь 29, 2017, 02:41:47 pm »
Правильно. А теперь упростите квантифицируемые предикаты.