Wolfram 语言的符号表达式可以表示广泛类型的对象. Wolfram 语言提供了丰富的函数集合来测试表达式. 函数以指令末尾加 Q 的方式“提出问题”. 答案正确时返回 True，否则返回 False.

方程与不等式

Equal (==), Unequal (!=) — 数值方程

SameQ (===), UnsameQ (=!=) — 字符等式

Less (<)  ▪  Greater (>)  ▪  LessEqual (<=)  ▪  GreaterEqual (>=)  ▪  Between

逻辑组合 »

And(&&)  ▪  Or(||)  ▪  Not(!)  ▪  True  ▪  False  ▪  ...

AllTrue  ▪  AnyTrue  ▪  NoneTrue

算子格式

GreaterThan  ▪  LessThan  ▪  GreaterEqualThan  ▪  LessEqualThan  ▪  EqualTo  ▪  UnequalTo  ▪  NearestTo  ▪  SameAs

数值属性 »

NumberQ, MachineNumberQ — 数字，精确机器数

RealValuedNumberQ — 一个实数数字

NumericQ — 数字的量 (包括数字，数字常量和函数）

RealValuedNumericQ — 值为实数的量

IntegerQ  ▪  EvenQ  ▪  OddQ  ▪  PrimeQ  ▪  CoprimeQ  ▪  AlgebraicIntegerQ  ▪  ...

Positive  ▪  Negative  ▪  NonPositive  ▪  NonNegative  ▪  PossibleZeroQ

列表相关的测试

VectorQ, MatrixQ — 向量、矩阵，或具有指定类型的元素

ArrayQ — 任意长度的全数组

MemberQ — 测试列表是否满足模式

DuplicateFreeQ  ▪  IntersectingQ  ▪  DisjointQ  ▪  SubsetQ

ContainsAll  ▪  ContainsNone  ▪  ContainsAny  ▪  ContainsOnly  ▪  ContainsExactly

表达式测试

MatchQ — 测试表达式是否匹配一个模式

AtomQ  ▪  ListQ  ▪  TrueQ  ▪  BooleanQ  ▪  OrderedQ  ▪  PolynomialQ  ▪  DateObjectQ  ▪  TimeObjectQ  ▪  PolynomialExpressionQ  ▪  RationalExpressionQ

Order — 表达式的规则排序

LexicographicOrder  ▪  NumericalOrder  ▪  AlphabeticOrder

字符串测试 »

StringQ  ▪  StringMatchQ  ▪  StringFreeQ  ▪  LetterQ  ▪  DigitQ  ▪  SyntaxQ  ▪  ...