Search Results for ""

The term in logic used to describe the operation commonly known as OR. A literal is considered a (degenerate) disjunction (Mendelson 1997, p. 30). The Wolfram Language ...

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 ...

Any pair of equations giving the real part of a function as an integral of its imaginary part and the imaginary part as an integral of its real part. Dispersion relationships ...

The system of partial differential equations u_t = (u^2-u_x+2v)_x (1) v_y = (2uv+v_x)_x. (2)

A tetrahedron with identical isosceles or scalene faces.

A proof based on a dissection which shows the formula for the area of a plane figure or of the volume of a solid. Dozens of different dissection proofs are known for the ...

A dynamical system in which the phase space volume contracts along a trajectory. This means that the generalized divergence is less than zero, (partialf_i)/(partialx_i)<0, ...

An object that is not superimposable on its mirror image is said to be dissymmetric. All asymmetric objects are dissymmetric, and an object with no improper rotation ...

The distribution parameter of a noncylindrical ruled surface parameterized by x(u,v)=sigma(u)+vdelta(u), (1) where sigma is the striction curve and delta the director curve, ...

A lattice which satisfies the identities (x ^ y) v (x ^ z)=x ^ (y v z) (x v y) ^ (x v z)=x v (y ^ z) is said to be distributive.