===== SUBSTITUIÇÃO =====
(in. Substitution; fr. Substitution; al. Unterschiebung; it. Sostituzioné).

Uma das operações fundamentais do [[lexico:p:pensamento|pensamento]] em todos os campos. [[lexico:l:leibniz|Leibniz]] definiu a [[lexico:i:igualdade|igualdade]] e a [[lexico:i:identidade|identidade]] como possibilidades de substituição. A [[lexico:m:matematica|matemática]] e a [[lexico:l:logica|lógica]] podem [[lexico:s:ser|ser]] consideradas sistemas de regras de substituições na [[lexico:m:medida|medida]] em que a [[lexico:f:formula|fórmula]] a = b pode ser considerada uma [[lexico:r:regra|regra]] segundo a qual a, onde quer que apareça, pode ser substituído por b (F. Waismann, Einfurung in das mathematische Denken, 1936, cap. IX, C.; trad. it., p. 165).

Mais especificamente, fala-se em lógica de regra de substituição como uma das regras primitivas fundamentais de [[lexico:i:inferencia|inferência]], segundo a qual é permitido inferir de uma fórmula A uma outra fórmula de A substituindo uma variável em A por uma fórmula B (cf. A. Church, Introduction to Mathematical Logic, § 10; Carnap, The Logical Syntax of Language, § 6; Meaning and Necessity, § 11; Quine, Methods of Logic, § 6, etc).