Search Results for ""

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; ...

An n-dimensional closed disk of radius r is the collection of points of distance <=r from a fixed point in n-dimensional Euclidean space. Krantz (1999, p. 3) uses the symbol ...

A diagonal of a square matrix which is traversed in the "southeast" direction. "The" diagonal (or "main diagonal," or "principal diagonal," or "leading diagonal") of an n×n ...

A dihedron is a regular tiling or map on a sphere composed of two regular p-gons, each occupying a hemisphere and with edge lengths of 2pi/p on a unit sphere. Its Schläfli ...

The double bar symbol | is used to denote certain kinds of norms in mathematics (e.g., ||x|| or ||x||_2). It is also used to denote parallel lines, as in A∥B, and in an older ...

A statement which is rigorously not true. Regular two-valued logic allows statements to be only true or false, but fuzzy logic treats "truth" as a continuum which can have a ...

Two geometric figures are said to exhibit geometric congruence (or "be geometrically congruent") iff one can be transformed into the other by an isometry (Coxeter and ...

The identity element I (also denoted E, e, or 1) of a group or related mathematical structure S is the unique element such that Ia=aI=a for every element a in S. The symbol ...

The symbol ldx is occasionally used in German literature to refer to the binary logarithm. However, the United States Department of Commerce recommends that the notation lbx ...