equivalencia-logica
Composto de 'equivalência' (do latim 'aequivalentia') e 'lógica' (do grego 'logiké').
Origem
Derivação do latim 'aequivalens' (ter o mesmo valor), composto por 'aequus' (igual) e 'valere' (valer). O termo 'lógica' vem do grego 'logikḗ' (relativo à razão).
Mudanças de sentido
Conceito restrito à filosofia e matemática, referindo-se à identidade de valor de verdade entre proposições.
Expansão para a ciência da computação e engenharia, mantendo o sentido técnico, mas com aplicações práticas em circuitos e algoritmos.
A 'equivalência lógica' em circuitos digitais, por exemplo, refere-se a portas lógicas (como a XOR negada) que produzem a mesma saída para as mesmas entradas, garantindo a funcionalidade esperada em sistemas computacionais.
Primeiro registro
Registros em traduções de obras de lógica formal e em publicações acadêmicas brasileiras de filosofia e matemática. A data exata é difícil de precisar sem um corpus linguístico específico, mas o uso se intensifica com a disseminação da lógica simbólica.
Comparações culturais
Inglês: 'logical equivalence'. Espanhol: 'equivalencia lógica'. Francês: 'équivalence logique'. Alemão: 'logische Äquivalenz'. O conceito e a terminologia são amplamente compartilhados entre as línguas ocidentais devido à origem comum na lógica formal europeia.
Relevância atual
Fundamental na ciência da computação, inteligência artificial, engenharia de software e verificação formal. Essencial para a construção de sistemas confiáveis e eficientes.
Presente em discussões sobre a fundamentação da matemática e da filosofia da linguagem.
Origem Conceitual e Etimológica
Século XVII - O conceito de equivalência lógica surge com o desenvolvimento da lógica formal, influenciado por pensadores como Gottfried Wilhelm Leibniz. A palavra 'equivalência' deriva do latim 'aequivalens', particípio presente de 'aequivalere', que significa 'ter o mesmo valor'. A junção de 'aequus' (igual) e 'valere' (valer). A palavra 'lógica' tem origem no grego 'logikḗ', relativo à razão, ao discurso.
Formalização e Entrada na Língua
Século XIX e início do Século XX - A lógica matemática se consolida com trabalhos de George Boole, Gottlob Frege e Bertrand Russell. O termo 'equivalência lógica' começa a ser utilizado em textos acadêmicos e científicos em português, traduzindo o conceito do inglês 'logical equivalence' ou do francês 'équivalence logique'.
Uso Contemporâneo e Expansão
Meados do Século XX até a Atualidade - O termo se torna comum em cursos universitários de lógica, matemática, filosofia e ciência da computação. Com a popularização da computação e da inteligência artificial, a 'equivalência lógica' ganha relevância em áreas como design de circuitos digitais, programação e verificação formal de software.
Composto de 'equivalência' (do latim 'aequivalentia') e 'lógica' (do grego 'logiké').
Conectando idiomas e culturas