Дополнительные логические функции
- DigitQtstring] — вырабатывает значение True, если все символы строки string являются цифрами от 0 до 9, иначе возвращает False.
- Identity [ехрг] — возвращает ехрг (операция тождественности).
- Implies [p, q] — представляет логическую импликацию р => q.
- IntegerQ [ехрг] — возвращает True, если ехрг является целым числом, иначе False.
- LetterQ [string] — вырабатывает True, если все символы строки string являются буквами, иначе False.
- ListQ [ехрг] — возвращает True, если ехрг является списком, иначе False.
- LowerCaseQ [string] — вырабатывает значение True, если все символы в строке являются строчными буквами (буквами нижнего регистра), иначе False.
- MachineNumberQ[х] — возвращает True, если х является числом в машинном формате с плавающей точкой, иначе возвращает False.
- MatchQ[expr, form] — возвращает True, если модель (образец) form соответствует ехрг, и возвращает False в противном случае.
- NumberQ [ехрг] — возвращает True, если ехрг является числом, иначе False.
- OddQ[expr] — возвращает True, если ехрг нечетное целое, иначе False.
- OptionQ[e] — возвращает True, если е может считаться опцией или списком опций, иначе False.
- PrimeQ [ехрг] — дает True, если ехрг является простым числом, иначе дает False.
- TrueQfexpr] — возвращает True, если expr имеет значение True, иначе возвращает False.
- UnsameQ — применяется в виде: Ihs =1 = rhs; возвращает True, если выражение Ihs не тождественно (не идентично) rhs, в противном случае возвращает False.
- ValueQ [expr] — возвращает True, если было определено значение для ехрг, иначе возвращает False.
- VectorQ [expr] — возвращает True, если expr является списком, но ни один из его элементов, в то же время, сам не является списком, иначе возвращает False.
- VectorQ [expr, test] — возвращает True, только если test, будучи применен к каждому элементу ехрr, дает True.
В систему Mathematica 4 помимо указанных выше функций дополнительно включены побитовые логические функции: BitAnd [n1, n2,...], BitOr [n1, n2,...], BitXor [n1, n2,...] и BitNot[n]. Их действие вполне очевидно.