Search Results for ""

The quantifier "for all" ( forall ), sometimes also known as the "general quantifier."

An archaic name for topology.

In logic, a statement which cannot be broken down into smaller statements, also simply called an "atom."

Capable of taking on one out of two possible values.

Among the continuous functions on R^n, the positive definite functions are those functions which are the Fourier transforms of nonnegative Borel measures.

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.

C=tauT+kappaB, where tau is the torsion, kappa is the curvature, T is the tangent vector, and B is the binormal vector.

Find necessary and sufficient conditions that determine when the integral curve of two periodic functions kappa(s) and tau(s) with the same period L is a closed curve.

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