Search Results for ""

If A is true unless B, then not-B implies A, but B does not necessarily imply not-A.

A formula whose truth table contains only false in any interpretation is called unsatisfiable.

Kepler's original name for the small stellated dodecahedron.

If s_x is the standard deviation of a set of samples x_i and x^_ their mean, then the variation coefficient is defined as V=(s_x)/(x^_).

The symbol v variously means "disjunction" (i.e., OR in logic) or "join" (for a lattice).

Oriented in an up-down position.

A function f(x) has a vertical tangent line at x_0 if f is continuous at x_0 and lim_(x->x_0)f^'(x)=+/-infty.

In the American system, 10^(63).

The generalization of a Voronoi polygon to n dimensions for n>2.

A^n+B^n=sum_(j=0)^(|_n/2_|)(-1)^jn/(n-j)(n-j; j)(AB)^j(A+B)^(n-2j), where |_x_| is the floor function and (n; k) is a binomial coefficient.