Search Results for ""

One of the logic operators AND ^ , OR v , and NOT ¬.

A puzzle in logic in which one or more facts must be inferred from a set of given facts.

A variable which belongs to exactly one of a finite number of categories.

The Chebotarev density theorem is a complicated theorem in algebraic number theory which yields an asymptotic formula for the density of prime ideals of a number field K that ...

Two lines that lie on top of one another are called coincident lines.

If the consistency of one of two propositions implies the consistency of the other, the first is said to have greater consistency strength.

There are a number of attractive polyhedron compounds of two cubes. The first (left figures) is obtained by allowing two cubes to share opposite polyhedron vertices then ...

A cylindrical segment, sometimes also called a truncated cylinder, is the solid cut from a circular cylinder by two (or more) planes. If there are two cutting planes, one ...

A power of 10.

One of the three 2-polyaboloes.