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

Uma das operações fundamentais do [[lexico:p:pensamento:start|pensamento]] em todos os campos. [[lexico:l:leibniz:start|Leibniz]] definiu a [[lexico:i:igualdade:start|igualdade]] e a [[lexico:i:identidade:start|identidade]] como possibilidades de substituição. A [[lexico:m:matematica:start|matemática]] e a [[lexico:l:logica:start|lógica]] podem [[lexico:s:ser:start|ser]] consideradas sistemas de regras de substituições na [[lexico:m:medida:start|medida]] em que a [[lexico:f:formula:start|fórmula]] a = b pode ser considerada uma [[lexico:r:regra:start|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:start|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).

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}