logical
シンボリック方程式、シンボリック不等式、またはシンボリック条件が真となるかどうかの判定
説明
例
入力引数
ヒント
シンボリックな方程式の場合、左辺と右辺が等しい場合にのみ、
logical
は logical1
(true
) を返します。その他の場合は logical0
(false
) を返します。~=
を使用して作成されたシンボリックな不等式の場合、左辺と右辺が等しい場合にのみ、logical
は logical0
(false
) を返します。その他の場合は logical1
(true
) を返します。その他すべての不等式 (
<
、<=
、>
または>=
を使用して作成) では、logical
は、不等式が真となることを証明できる場合には logical1
を、不等式が偽となることを証明できる場合には logical0
を返します。logical
で、不等式が真となるか偽となるかを判断できない場合には、エラーが返されます。logical
は、条件ステートメントに対して単純化や数学的変換を行いません。数学的変換と単純化を適用して条件ステートメントを比較するには、isAlways
を使用します。シンボリック型を含む条件ステートメントを
logical
を使用してチェックするには、比較される式のデータ型に互換性がなければなりません。たとえば、logical(1==sym(1))
は1
(true
) を返します。互換性のあるデータ型が式に含まれていない場合、logical
はエラーを返します。たとえば、syms f(x) g(y); tf = logical(f~=g)
はエラーを返します。logical
はシンボリック変数に関する仮定を無視します。
バージョン履歴
R2012a で導入