equivalencia-logica
Significado de equivalencia-logica
Relação de equivalência entre duas proposições lógicas.
Significados de equivalencia-logica
substantivo feminino
Em lógica, a equivalência lógica ocorre quando duas proposições têm o mesmo valor de verdade em todas as circunstâncias possíveis, ou seja, são logicamente indistinguíveis.
"A proposição 'Se chover, então o chão molha' é logicamente equivalente a 'Não chove ou o chão molha'."
Nota: Termo utilizado em lógica formal, matemática e filosofia.
💡 O conceito de equivalência lógica é fundamental para a simplificação e a análise de argumentos em sistemas formais.
Origem da palavra equivalencia-logica
Linha do tempo de equivalencia-logica
Uma visão resumida de como esta palavra transita pela História: origem, uso histórico e vida contemporânea.
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.
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).
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.
Mudanças de Sentido
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.
Relação de equivalência entre duas proposições lógicas.
A história viva das palavras