Search Results for ""

The proof theories of propositional calculus and first-order logic are often referred to as classical logic. Intuitionistic propositional logic can be described as classical ...

A short theorem used in proving a larger theorem. Related concepts are the axiom, porism, postulate, principle, and theorem. The late mathematician P. Erdős has often been ...

Conditions arising in the study of the Robbins axiom and its connection with Boolean algebra. Winkler studied Boolean conditions (such as idempotence or existence of a zero) ...

One of the Eilenberg-Steenrod axioms which states that, if X is a space with subspaces A and U such that the set closure of A is contained in the interior of U, then the ...

An isosceles triangle is a triangle with (at least) two equal sides. In the figure above, the two equal sides have length b and the remaining side has length a. This property ...

If (f,U) and (g,V) are functions elements, then (g,V) is a direct analytic continuation of (f,U) if U intersection V!=emptyset and f and g are equal on U intersection V.

Line segment ranges and pencils which have equal cross ratios are said to be equicross.

A line making equal angles with the edges of a trihedron is called an isoclinal line of the trihedron.

The volume of a prismatoid is equal to the sum of the volumes of a pyramid, a wedge, and a parallelepiped.

The scalar |v|=ds/dt, where s is the arc length, equal to the magnitude of the velocity v.