...le, where it occurs, by a new (for a given expression) variable leads to an expression with the same meaning. For example, in the expressions
...expression, whereas by writing $z$ everywhere instead of $z$ one obtains an expression with exactly the same meaning.
2 KB (315 words) - 19:45, 2 March 2018
...le the expression $B$ is called the consequence. The precise meaning of the expression $A\supset B$ differs in the classical, constructive and other approaches to
1 KB (166 words) - 16:47, 30 December 2018
...s) of a variable must not lead to an absurd expression. For example, in the expression $ \{ {( x, y) } : {x ^ {2} + y ^ {2} = z ^ {2} } \} $,
respectively, then in the expression $ f ( x, y) $
3 KB (500 words) - 19:40, 5 June 2020
...x$ with not more than a countable number of discontinuities has an analytic expression $A(x)$ involving only three operations (addition, multiplication, passing t
If there is at least one analytic expression describing a given function, there are infinitely many such expressions. Th
1 KB (210 words) - 13:18, 12 December 2013
A linguistic expression containing variables, in place of which one may substitute propositions, th
Sometimes a propositional form is an expression, constructed in analogy with a [[propositional formula]], in which symbols
680 bytes (87 words) - 14:34, 8 October 2023
* the algebraic theory of [[regular expression]]s.
141 bytes (20 words) - 13:59, 15 April 2018
...x$ as the name of the letter $x$, and is using "$x+3=2$" as the name of the expression $x+3=2$. If one says "12 is divisible by 2", then the term "12" is used in
...tors for distinguishing between the autonymous and non-autonymous use of an expression. However, such a differentiation may be difficult in certain cases. Special
2 KB (318 words) - 14:25, 30 December 2018
...ere are only axioms at the vertices of the derivation tree, then the formal expression at the end of the derivation is said to be deducible (or derivable) in the
...a derivation must satisfy the same requirement. The concept of a deducible expression in effective formal systems is, generally speaking, not effective.
3 KB (392 words) - 12:21, 19 August 2014
...al is equal to the number of permutations of $n$ elements. The more general expression
1 KB (162 words) - 13:41, 14 February 2020
A logical operator which serves to form propositions using the expression "for all x" . In formal languages the universal quantifier is most often d
331 bytes (51 words) - 12:39, 24 December 2014
An expression indicating that one speaks about all $x$ of a measure space $X$ with the po
232 bytes (42 words) - 17:37, 11 April 2014
...same syntactic structure. A specific axiom scheme is usually realized by an expression $\mathfrak A$ (which is most often formulated in a language different from
...ulated or unambiguously understandable rules for generating axioms using an expression $\mathfrak A$, an axiom scheme is usually referred to as the self-expressio
2 KB (337 words) - 16:00, 5 August 2014
(a "quadratic form modulo 2" ). The expression
...e is a symplectic basis on all elements of which $\psi_0$ vanishes; if this expression equals one, then there is a symplectic basis on all elements of which, exce
2 KB (287 words) - 07:17, 24 December 2017
...o make up the fraction. The numerator of an algebraic fraction $A/B$ is the expression $A$ (cf. [[Fraction|Fraction]]).
238 bytes (42 words) - 09:50, 15 April 2014
The expression
The following expression is often also referred to as a symmetric difference:
1 KB (225 words) - 08:24, 6 June 2020
...ns, and $x$, $a$, $b$ are variables whose values are real numbers, then the expression $\int_a^bf(x)dx$ is a term with three parameters $a$, $b$, $f$, which denot
1 KB (225 words) - 22:30, 2 November 2014
An expression of the form
...the context of constructive logic) restrict the term "sequent" to mean an expression of the form
1 KB (231 words) - 13:27, 14 February 2020
...sion $\Gamma\vDash A$ is read as "$\Gamma$ semantically entails $A$" . The expression $\Gamma\vdash A$ is similarly read as "$\Gamma$ syntactically entails $A$"
2 KB (295 words) - 21:24, 8 December 2016
The expression "square" for $a\cdot a$ is (just as "cube" for $a\cdot a\cdot a$) a rem
362 bytes (64 words) - 15:36, 9 April 2014
...umbers $p$ diverges also; see, e.g., [[#References|[a1]]], Thm. 427, for an expression of its partial sums.
1 KB (234 words) - 10:24, 10 December 2012