Search Results for ""

E(a,b)/p denotes the elliptic group modulo p whose elements are 1 and infty together with the pairs of integers (x,y) with 0<=x,y<p satisfying y^2=x^3+ax+b (mod p) (1) with a ...

For even h, (1) (Nagell 1951, p. 176). Writing out symbolically, sum_(n=0)^h((-1)^nproduct_(k=0)^(n-1)(1-x^(h-k)))/(product_(k=1)^(n)(1-x^k))=product_(k=0)^(h/2-1)1-x^(2k+1), ...

The connective in A<=>B (also denoted A=B) that returns a true result iff A and B are either both true or both false. The biconditional is also called an equivalence.

A sentence is called a contingency if its truth table contains at least one 'T' and at least one 'F.'

A sentence is called a contradiction if its truth table contains only false entries.

One of the basic objects treated in a given formal language system. The term is sometimes also used as a synonym for urelement.

Let E be a set of expressions representing real, single-valued partially defined functions of one real variable. Let E^* be the set of functions represented by expressions in ...

An expression which is a sentence or which contains variables and becomes a sentence upon appropriate substitutions for these variables (Carnap 1958, p. 24). Sentential ...

A sentential variable, also called a propositional variable, that can be substituted for in arbitrary sentential formulas (Carnap 1958, p. 24).

A property of individuals which is shared by every individual.