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.

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.

Any bivariate distribution function with marginal distribution functions F and G satisfies max{F(x)+G(y)-1,0}<=H(x,y)<=min{F(x),G(y)}.