Search Results for ""

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.

No A is not-A.

If r experiments are performed with n_i possible outcomes for each experiment i=1,2,...,r, then there are a total of product_(i=1)^(r)n_i possible outcomes.

A series s_1,s_2,... for which s_1>=s_2>=....

If q is logically deducible from p, this is written p|-q.

The exists quantifier exists .

That portion of a region lying "outside" a specified boundary.