测试条件

检查此不平等是否适用于所有值X。

Syms x Isalways（ABS（x）> = 0）

ans =逻辑1

总是返回逻辑1（真的）表明不平等abs（x）> = 0对所有值都有效X。

检查此等式是否适用于所有值X。

Isalways（SIN（x）^ 2 + cos（x）^ 2 == 1）

ans =逻辑1

总是返回逻辑1（真的）表示等式对所有值有效X。

测试是否有几种条件有效

检查这两个条件中的至少一个是否有效。要检查几种条件中的至少一个是否有效，请使用逻辑运算符组合它们要么或它的快捷方式|。

Syms x Isalways（SIN（x）^ 2 + cos（x）^ 2 == 1 | x ^ 2> 0）

ans =逻辑1

检查两个条件是否有效。要检查多个条件是否有效，请使用逻辑运算符组合它们和或它的快捷方式＆。

Isalways（Sin（x）^ 2 + cos（x）^ 2 == 1和abs（x）> 2 * abs（x））

ans =逻辑0

处理输出以进行未定定的条件

测试这种情况。什么时候总是无法确定条件是否有效，返回逻辑0.（错误的）默认情况下发出警告。

Syms x Isalways（2 * x> = x）

警告：无法证明'x <= 2 * x'。ans =逻辑0

要更改此默认行为，请使用未知。例如，指定未知作为错误的抑制警告并制作总是返回逻辑0.（错误的）如果它无法确定条件的有效性。

Isalways（2 * x> = x，'未知'，'false'）

ans =逻辑0

代替错误的，您还可以指定未知作为错误返回错误，以及真的返回逻辑1（真的）。

假设的测试条件

在假设下检查此不平等X是消极的。什么时候总是测试等式或不平等，考虑到该等式或不平等中的变量的假设。

syms x假设（x <0）Isalways（2 * x 
              

ans =逻辑1

为了进一步计算，清除假设X通过重新创建它使用Syms.。

Syms X.