检验方程或不等式的有效性据/p>
逻辑(据a href="#bs89hw1-cond" class="intrnllnk">
检查条件是否据code class="literal">条件据/code>已验证。测试需要假设或简化的条件,使用据a href="//www.tianjin-qmedu.com/help/symbolic/isalways.html">条件据/code>)据/code>
总是据/code>代替据code class="literal">逻辑据/code>.据/p>
用据code class="literal">逻辑据/code>检查if.据code class="literal">3/5据/code>小于据code class="literal">2/3据/code>:据/p>
逻辑(SYM(3)/ 5
ans =逻辑1据/pre>
使用此等式的有效性据code class="literal">逻辑据/code>.没有额外的假设据code class="literal">X据/code>为非负,则方程无效。据/p>
Syms x逻辑(x == sqrt(x ^ 2))据/pre>
ans =逻辑0据/pre>
用据a href="//www.tianjin-qmedu.com/help/symbolic/sym.assume.html"> 注意据code class="literal">逻辑据/code>通常忽略变量的假设。据/p>
比较表达式考虑到他们变量的假设,使用据a href="//www.tianjin-qmedu.com/help/symbolic/isalways.html"> 为了进一步计算,清除假设据code class="literal">X据/code>通过重新创建它使用据code class="literal">Syms.据/code>:据/p>
认为据/code>建立一个假设据code class="literal">X据/code>是非负面的。现在表达据code class="literal">sqrt(x ^ 2)据/code>评估据code class="literal">X据/code>, 和据code class="literal">逻辑据/code>回报据code class="literal">1据/code>:据/p>
假设(x> = 0)逻辑(x == sqrt(x ^ 2))据/pre>
ans =逻辑1据/pre>
syms x假设(x == 5)逻辑(x == 5)据/pre>
ans =逻辑0据/pre>
总是据/code>:据/p>
Isalways(x == 5)据/pre>
ans =逻辑1据/pre>
Syms X.据/pre>
检查以下两个条件是否有效。要检查多个条件是否有效期,请使用逻辑运算符组合这些条件据code class="literal">和据/code>或它的快捷方式据code class="literal">&据/code>.据/p>
Syms x逻辑(1 <2&x == x)据/pre>
ans =逻辑1据/pre>
检查这个不等式。注意据code class="literal">逻辑据/code>评估不平等的左侧。据/p>
逻辑(SYM(11)/ 4 - SYM(1)/ 2> 2)据/pre>
ans =逻辑1据/pre>
逻辑据/code>还评估了方程和不等式的两侧更复杂的象征性表达。例如,它会评估该等式左侧的积分:据/p>
Syms x逻辑(int(x, x, 0, 2) - 1 == 1)据/pre>
ans =逻辑1据/pre>
不使用据code class="literal">逻辑据/code>检查需要简化或数学转换的方程和不等式。对于这样的等式和不等式,据code class="literal">逻辑据/code>可能会返回意外结果。例如,据code class="literal">逻辑据/code>不承认这些表达式的数学等价:据/p>
Syms x逻辑(SIN(x)/ cos(x)== tan(x))据/pre>
ans =逻辑0据/pre>
测试需要简化或数学转换的方程和不等式的有效性,使用据code class="literal">总是据/code>:据/p>
逻辑据/code>也没有意识到这种不平等无效:据/p>
逻辑(SIN(x)/ cos(x)〜= tan(x))据/pre>
ans =逻辑1据/pre>
Isalways(SIN(x)/ cos(x)== tan(x))据/pre>
ans =逻辑1据/pre>
Isalways(SIN(x)/ cos(x)〜= tan(x))据/pre>
警告:无法证明'sin(x)/cos(x) ~= tan(x)'。ans =逻辑0据/pre>
对于符号方程,据code class="literal">逻辑据/code>返回逻辑据code class="literal">1据/code>(据code class="literal">真正的据/code>)只有左侧和右侧的相同。否则,它返回逻辑据code class="literal">0.据/code>(据code class="literal">错误的据/code>)。据/p>
用于构建的象征性不等式据code class="literal">〜=据/code>那据code class="literal">逻辑据/code>返回逻辑据code class="literal">0.据/code>(据code class="literal">错误的据/code>)只有左侧和右侧的相同。否则,它返回逻辑据code class="literal">1据/code>(据code class="literal">真正的据/code>)。据/p>
所有其他不等式(由据code class="literal">据据/code>那据code class="literal"><=据/code>那据code class="literal">>据/code>, 或者据code class="literal">>=据/code>),据code class="literal">逻辑据/code>返回逻辑据code class="literal">1据/code>如果它可以证明不等式是有效和逻辑的据code class="literal">0.据/code>如果它能证明不等式是无效的。如果据code class="literal">逻辑据/code>无法确定此类不等式是否有效,它会抛出错误。据/p>
逻辑据/code>评估等式或不等式的两侧的表达,但不简单或数学方式转换它们。比较两个表达式应用数学变换和简化,使用据a href="//www.tianjin-qmedu.com/help/symbolic/isalways.html">
总是据/code>.据/p>
逻辑据/code>通常忽略变量的假设。据/p>
认为据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">假定据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">假设据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">在据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">总是据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">是平等的据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">isequaln.据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">是一菲特据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">isinf.据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">isnan.据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">轶事据/code>
|据span itemscope itemtype="//www.tianjin-qmedu.com/help/schema/MathWorksDocPage/SeeAlso" itemprop="seealso">Syms.据/code>