今天想要讲一下ForAll和Implies这两个函数。

ForAll有点类似数学里的任意，我们看下面的一个例子

使用ForAll结合Resolve，我们可以解出一些问题的解，看下面的一个简单的问题，我们想要知道c取多少时，才能使得x^2+c>0，我们首先看一下不同c的时候，x^2+c的图像

很明显可以看出c>0的时候，x^2+c>0成立，那么我们使用Resolve来验证一下

可以看到可以得到一样的结论。

关于Implies，中文名是蕴含，我现在的理解感觉就是判断是否是包含于的意思，可能有些不完善，可以看下面的这个例子，讲得很明白。

还想讲一个关于或的用法。
想要画出两个椭圆合在一起的图像，而且要看不出是两个椭圆合在一起的样子。

但是这样效果不好，于是我们尝试一下使用或来解决这个问题

然后就很好的解决了问题，嗯，就是这样的。

这个应该是六月份的最后一篇了，要开始安心复习期末考试了，等考完再慢慢更新吧。