总

确定符号条件对所有变量值是否为真

折叠所有页面

总当对不可确定的输入返回false时发出警告。若要取消警告，请设置未知的选项假通过使用总(气孔导度未知= " false ")．详细信息请参见处理不可确定条件的输出．

语法

tf = isAlways(cond)

tf = isAlways(cond,Unknown=option)

描述

tf = isAlways(气孔导度）检查条件是否在气孔导度在数学上始终为真，并返回逻辑值的数组。总检查是否气孔导度中的符号变量的所有可能值都成立气孔导度包括所有对变量的假设。如果一个元素气孔导度总是真，那么对应的元素在特遣部队是合乎逻辑的1（真正的)．否则，对应的元素在特遣部队是合乎逻辑的0（假)．

例子

tf = isAlways(气孔导度未知的=选项）返回指定的不可确定条件的输出选项．

例子

全部折叠

测试符号条件

打开实时脚本

检查一个不等式是否对其变量的所有值都成立。

信谊xtf = isAlways(abs(x) >= 0)

tf =逻辑1

总返回逻辑1（真正的)，表明不平等Abs (x) >= 0对所有的值都成立吗x．

检查一个方程对其变量的所有值是否为真。

tf = isAlways(sin(x)²+ cos(x)²== 1)

tf =逻辑1

总返回逻辑1（真正的)，表明方程Sin (x)²+ cos(x)²= 1对所有的值都成立吗x．

测试几个条件中的一个是否成立

打开实时脚本

检查两个条件中是否至少有一个是正确的。要检查几个条件中是否至少有一个为真，请使用逻辑运算符将它们组合起来或或者它的快捷键|．

信谊xtf = isAlways(sin(x)²+ cos(x)²== 1 | x^2 > 0)

tf =逻辑1

检查这两个条件是否都成立。要检查几个条件是否为真，可以使用逻辑运算符将它们组合起来而且或者它的快捷键＆．

tf =总(sin (x) ^ 2 + cos (x) ^ 2 = = 1 & abs (x) > 2 * abs (x))

tf =逻辑0

对于多个条件，还可以将这些条件表示为符号数组。

Cond = [sin(x)²+ cos(x)²== 1;Abs (x) > 2* Abs (x)]

气孔导度=
                       
                         $（ \begin{array}{c} {因为 （ x ）}^{2} + {罪 （ x ）}^{2} ＝ 1 \\ 2 | x | < | x | \end{array} ）$

tf = isAlways(cond)

tf =2x1逻辑阵列1 0

处理不可确定条件的输出

打开实时脚本

当总不能确定条件是否为真，则返回逻辑0（假)并在默认情况下发出警告。

信谊xtf = isAlways(2*x >= x)

警告:无法证明'x <= 2*x'。

tf =逻辑0

若要更改此默认行为，请使用未知的名称-值参数。例如，指定未知的作为“假”压制警告并使总返回逻辑0（假)如果它不能确定条件是否为真。

tf = isAlways(2*x >= x，未知=“假”）

tf =逻辑0

而不是“假”，也可以指定未知的作为“错误”返回一个错误，而as“真正的”返回逻辑1（真正的)．

有假设的测试条件

打开实时脚本

在假设下检验一个不等式x是负的。当总测试一个方程或不等式，它考虑了方程或不等式中变量的假设。

信谊x假设(x < 0) tf = isAlways(2*x < x)

tf =逻辑1

为了进一步的计算，清除上的假设x通过使用信谊．

信谊x

输入参数

全部折叠

`气孔导度`- - - - - -要检查的条件
象征性的条件|符号条件向量|符号条件矩阵|符号条件的多维数组

要检查的条件，指定为符号条件，或向量、矩阵或符号条件的多维数组。

`选项`- - - - - -在不可确定的条件下返回选项
`“falseWithWarning”`(默认)|`“假”`|`“真正的”`|`“错误”`

不可确定条件的返回选项，指定为以下值之一:

`“falseWithWarning”`(默认)	对于不可确定的输入，返回逻辑`0`（`假`)，并警告这种情况无法证明。
`“假”`	对于不可确定的输入，返回逻辑`0`（`假`)．
`“真正的”`	对于不可确定的输入，返回逻辑`1`（`真正的`)．
`“错误”`	对于不可确定的输入，返回一个错误。