1.5.5 方程1.2.2 节讨论了赋值问题. 例如  . 检验 2+2 和 4 是否相等，结果为真
Out[1]= |  |
区分清楚 是相等. 使用过 C 语言的用户会看出 Mathematica 的赋值和检验表示法与 C 语言是相同的. 赋值和检验 给 赋以值 4
Out[2]= |  |
如果你查看 ，则得到 4
Out[3]= |  |
这里检验 x 是否等于 4，结果为真
Out[4]= |  |
检验 是否等于 6，结果为假
Out[5]= |  |
清除赋给  的值 到此为止，我们使用的检验仅涉及到数，并且总能得到确定答案，真或假. 然而，用户也能对符号表达式进行检验. Mathematica 不能得到这个检验的确定结果，除非你已赋给 x 一个特定的数值
Out[7]= |  |
当用 4 代换  时，检验结果为假
Out[8]= |  |
在检验符号表达式时，有时也能得到确定结果. 例如当用户检验两个恒等 性时，无论表达式中的变量是什么数值，Mathematica 都知道该两个表达式 是相等的. 不论 为何值，这两个表达式都相等，所以结果为真
Out[9]= |  |
Mathematica 并不检验这两个表 达式是否相等，此时，使用 Expand 将使它们有相同的形式
Out[10]= |  |
在 Mathematica 中，如  4 这样的表达式代表方程式. Mathematica 中有许多处理和求解方程的函数. 这是 Mathematica 中的一个方程在 1.5.7 节讨论如何求解它
Out[11]= |  |
可以给方程赋一个名称
Out[12]= |  |
查看 eqn，将得到该方程
Out[13]= |  |
| 
