判定式
Wolfram言語の記号式は幅広い範囲のオブジェクトを表すことができる．Wolfram言語には，式をテストするための関数が数多く用意されている．「質問をする」関数は名前の最後にQが付き，答えが明確に真である場合はTrueを返し，そうでない場合はFalseを返す．
等号と不等号
Equal (==)，Unequal (!=) — 数値的等価
SameQ (===)，UnsameQ (=!=) — リテラルな記号的同一性
Less (<) ▪ Greater (>) ▪ LessEqual (<=) ▪ GreaterEqual (>=) ▪ Between
論理結合 »
And(&&) ▪ Or(||) ▪ Not(!) ▪ True ▪ False ▪ ...
演算子形式
GreaterThan ▪ LessThan ▪ GreaterEqualThan ▪ LessEqualThan ▪ EqualTo ▪ UnequalTo ▪ NearestTo ▪ SameAs
数の特性
NumberQ，MachineNumberQ — リテラルな数，リテラルな機械精度数
NumericQ — 数値的な量（数値，数値定数，関数を含む）
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 ▪ ...