Search Results for ""

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.

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

A Horn clause without a positive literal.

A graph cycle.

The vertical length of an object from top to bottom.