Search Results for ""

A connective in logic which yields true if all conditions are true, and false if any condition is false. A AND B is denoted A ^ B (Mendelson 1997, p. 12), A&B, A intersection ...

Specifying two angles A and B and a side a opposite A uniquely determines a triangle with area K = (a^2sinBsinC)/(2sinA) (1) = (a^2sinBsin(pi-A-B))/(2sinA). (2) The third ...

Specifying three sides uniquely determines a triangle whose area is given by Heron's formula, K=sqrt(s(s-a)(s-b)(s-c)), (1) where s=1/2(a+b+c) (2) is the semiperimeter of the ...

A disjunctive syllogism is a valid argument form in propositional calculus, where p and q are propositions: (p v q; ¬p)/(∴q). For example, if someone is going to study law or ...

The probability law on the space of continuous functions g with g(0)=0, induced by the Wiener process.

The function defined by y=ab^(q^x). It is used in actuarial science for specifying a simplified mortality law (Kenney and Keeping 1962, p. 241). Using s(x) as the probability ...

A Fourier series is an expansion of a periodic function f(x) in terms of an infinite sum of sines and cosines. Fourier series make use of the orthogonality relationships of ...

Let a spherical triangle be drawn on the surface of a sphere of radius R, centered at a point O=(0,0,0), with vertices A, B, and C. The vectors from the center of the sphere ...

A triangle in which all three angles are acute angles. A triangle which is neither acute nor a right triangle (i.e., it has an obtuse angle) is called an obtuse triangle. ...

A logical structure which does not assume the law of the excluded middle. Three truth values are possible: true, false, or undecided. There are 3072 such logics.