Nota: Se procura ligação em hipertexto, atalho, caminho ou ligação, veja Hiperligação.Em Lógica, um liame é um sinal alternativo que pode ser usado no lugar de variáveis quantificadas, a fim de evitar que estas sejam usadas tanto para denotar objetos do universo de discurso como para expressar quantificação, o que pode dar margem a confusões em instanciações mal feitas de variáveis por termos, quando ocorrências de variáveis originalmente livres passam a ser ligadas no resultado da instanciação.[1][2]
Notas
- ↑ Esta palavra, com este significado, consta no livro "Descrição da Matemática Formal", tradução de Geraldo Sebastião Tavares Cardoso, edição do Instituto de Lógica, Filosofia e Teoria da Ciência, da Universidade Federal Fluminense, 1977, baseada no original "Théorie des Ensembles", de Nicolas Bourbaki.
- ↑ Esta mesma palavra, com um sentido análogo ao de Nicolas Bourbaki, é também utilizada em trabalhos de Jorge Emmanuel Ferreira Barbosa, um pesquisador em Lógica e Análise Matemática, em artigos tais como "Caliortografia" e "Morfologia", publicados também pelo Instituto de Lógica, Filosofia e Teoria da Ciência, da Universidade Federal Fluminense.
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="O que estudar para o enem 2023">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Qual melhor curso para fazer em 2023">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Enem: Conteúdos E Aulas On-Line São Opção Para Os Estudantes">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Como Fazer Uma Carta De Apresentação">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Como Escrever Uma Boa Redação">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Concurso INSS edital 2022 publicado">
