如何解决 wolfram alpha 中的集合论？答案

【问题标题】：How to solve set theory in wolfram alpha?如何解决 wolfram alpha 中的集合论？
【发布时间】：2017-09-11 05:14:59
【问题描述】：

A={1,2,3} B={1,2,3,4,5}, C={0,2,4,6} 在 (B union C) 中为 0

如何解决 0 是 B union C 的一部分？

【问题讨论】：

【解决方案1】：

这个

intersection[{0},union[{1,2,3,4,5},{0,2,4,6}]]

给你

{0}

所以零在那个联合中，而这个

intersection[{8},union[{1,2,3,4,5},{0,2,4,6}]]

给你

{}

所以 8 不在那个联合中。

使用 WA 可能还有其他方法可以实现此目的，但问题始终是如何找到一种方法来诱使 WA 了解您想要它做什么。

【讨论】：

我没想到我可以解决你上面描述的方式。我卡住了，我需要先定义这些集合，然后尝试证明是 B 联合 C 的 0 部分。感谢您的帮助！
@AnttiRuokanen 通常很难知道 WolframAlpha 会理解什么，什么不会。我试过这个 B={1,2,3,4,5}; C={0,2,4,6}; intersection[{0},union[B,C]] 并且当它理解这一点时感到惊讶。过去我很难让 WolframAlpha 理解对变量的赋值，这就是为什么我在第一次尝试解决您的问题时没有尝试使用赋值的原因。 – 25 分钟前的比尔