A substituição é um conceito fundamental na lógica. Uma substituição é uma transformação sintática em expressões formais. Aplicar uma substituição a uma expressão significa substituir consistentemente seus símbolos de variável, ou espaço reservado, por outras expressões. A expressão resultante é chamada de instância de substituição da expressão original. [Conceito][Lógica][Sintaxe: lógica] |