A substitution is a syntactic transformation on formal expressions. To apply a substitution to an expression means to consistently replace its variable...
23 KB (2,938 words) - 17:50, 2 April 2025
abstract machines, predicate logic, and symbolic computation. A simple example of a lambda calculus with explicit substitution is "λx", which adds one new...
5 KB (713 words) - 08:23, 1 August 2023
Equality (mathematics) (redirect from Substitution property of equality)
Z),} therefore X = Z . {\displaystyle X=Z.} Substitution: See Substitution (logic) § Proof of substitution in ZFC. Function application: Given a = b {\displaystyle...
68 KB (7,795 words) - 03:33, 2 June 2025
propositional logic, or valid sentences of predicate logic that can be reduced to propositional tautologies by substitution. Propositional logic begins with...
23 KB (3,114 words) - 06:31, 30 March 2025
{\displaystyle B'} yields B {\displaystyle B} after substitution, then attempts to prove A {\displaystyle A} by substitution. chaining forward: given expression A →...
14 KB (1,964 words) - 04:48, 2 June 2025
Rhetoric -- Subjective logic -- Substitution (logic) -- Substructural logic -- Sufficient condition -- Sum of Logic -- Sunk costs -- Supertask -- Supervaluationism...
20 KB (1,851 words) - 01:08, 29 May 2025
First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics,...
92 KB (12,931 words) - 19:08, 31 May 2025
In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic...
6 KB (742 words) - 09:59, 23 March 2025
up substitution in Wiktionary, the free dictionary. Substitution may refer to: Substitution (poetry), a variation in poetic scansion Substitution (theatre)...
3 KB (377 words) - 03:24, 26 October 2024
instead of quantifying over substitution instances. Some authors also admit propositional variables in first-order logic, which must then also be interpreted...
32 KB (4,478 words) - 03:26, 11 May 2025
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell...
42 KB (5,301 words) - 09:10, 5 April 2025
Lambda calculus (redirect from Beta substitution)
the substituted x was supposed to be free but ended up being bound. The correct substitution in this case is λz.x, up to α-equivalence. Substitution is...
89 KB (11,994 words) - 17:12, 1 May 2025
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical...
145 KB (16,460 words) - 23:53, 28 May 2025
subtype of an immutable point, whereas Liskov substitution principle forbids this. Liskov substitution principle explains a property, "If for each object...
14 KB (1,561 words) - 08:54, 22 May 2025
Unification (computer science) (redirect from Unification (logic))
V} . Then a substitution σ {\displaystyle \sigma } is subsumed by another substitution τ {\displaystyle \tau } if there is a substitution θ {\displaystyle...
70 KB (7,377 words) - 06:19, 23 May 2025
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...
69 KB (8,370 words) - 19:50, 19 April 2025
Propositional calculus (redirect from Sentential logic)
branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. Sometimes...
118 KB (11,444 words) - 15:51, 30 May 2025
(term). Unifying the two produces the substitution X ↦ a Discarding the unified predicates, and applying this substitution to the remaining predicates (just...
28 KB (4,063 words) - 20:45, 28 May 2025
e. if u = tσ for some renaming substitution σ. In that case, u is a renaming of t, too, since a renaming substitution σ has an inverse σ−1, and t = uσ−1...
20 KB (2,808 words) - 20:49, 12 May 2025
Hilbert system (section Propositional logic)
with a rule of substitution, as this article does. The use of "Hilbert-style" and similar terms to describe axiomatic proof systems in logic is due to the...
27 KB (3,534 words) - 15:27, 30 May 2025
Formal system (redirect from Logic systems)
redirect targets Substitution instance – Concept in logicPages displaying short descriptions of redirect targets Theory (mathematical logic) – Set of sentences...
14 KB (1,514 words) - 12:40, 12 May 2025
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true...
9 KB (1,110 words) - 04:31, 24 January 2025
Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as...
97 KB (11,722 words) - 20:51, 22 May 2025
Consistency (redirect from Consistency (Mathematical Logic))
denotes the substitution of each x {\displaystyle x} in φ {\displaystyle \varphi } by a t {\displaystyle t} ; see also First-order logic.[citation needed]...
20 KB (2,931 words) - 16:30, 13 April 2025
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic...
32 KB (4,502 words) - 01:10, 13 April 2025
contains logic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of logic symbols. In logic, a set...
25 KB (256 words) - 07:14, 18 May 2025
Logical form (redirect from Schema (logic))
terms belong to logic, and not those given in concrete terms. The concrete terms man, mortal, and so forth are analogous to the substitution values of the...
11 KB (1,369 words) - 16:04, 17 March 2025
showing what substitution of equals for equals is being used. This premise is theorem ( 3.9 ) {\textstyle (3.9)} with the substitution p := q {\textstyle...
6 KB (608 words) - 07:04, 17 February 2025
In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to...
29 KB (3,924 words) - 08:52, 6 April 2025
Soundness (redirect from Unsound (logic))
In logic and deductive reasoning, an argument is sound if it is both valid in form and has no false premises. Soundness has a related meaning in mathematical...
8 KB (1,098 words) - 15:54, 14 May 2025