Search Results for ""

A symbol used to represent a Boolean statement in logic that can take the value either true or false. All statement letters are statements forms (Mendelson 1997, p. 13).

The ultraradical symbol is a notation thet can be used to express solutions not obtainable by finite root extraction. The solution to the irreducible quintic equation x^5+x=a ...

A q-series is series involving coefficients of the form (a;q)_n = product_(k=0)^(n-1)(1-aq^k) (1) = product_(k=0)^(infty)((1-aq^k))/((1-aq^(k+n))) (2) = ...

Sigma is the eighteenth letter of the ancient Greek alphabet. As an upper case letter (Sigma), it is used as a symbol for sums and series. As a lower case letter (sigma) it ...

The upside-down capital delta symbol del , also called "nabla" used to denote the gradient and other vector derivatives. The following table summarizes the names and ...

The upside-down capital delta symbol del , also called "del," used to denote the gradient and other vector derivatives. The following table summarizes the names and notations ...

The hat is a caret-shaped symbol commonly placed on top of variables to give them special meaning. The symbol x^^ is voiced "x-hat" (or sometimes as "x-roof") in mathematics, ...

The shah function is defined by m(x) = sum_(n=-infty)^(infty)delta(x-n) (1) = sum_(n=-infty)^(infty)delta(x+n), (2) where delta(x) is the delta function, so m(x)=0 for x not ...

A connective in logic which yields true if any one of a sequence conditions is true, and false if all conditions are false. In formal logic, the term disjunction (or, more ...

"Aut" is the term applied in propositional calculus to the XOR connective. "Aut" is Latin form for "either/or (but not both)," e.g., "Aut Caesar aut nihil" (Cesare Borgia; ...