> Bem, peço desculpas se o assunto é muito fora > do foco da lista e se tudo está baseado num > achismo da minha parte.
Certamente não é fora do foco da lista, Petrúcio! O assunto já foi, de fato, discutido aqui diversas vezes, inclusive por um dos membros da Wikimedia Brasil, que se inscreveu na nossa lista há oito anos só para tentar estimular os membros da lista a _colaborar_ mais ao invés de só _reclamar_: https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/R1F7h6nJ69k/m/btitbnByvbcJ Neste tipo de iniciativa, com efeito, é preciso apagar um pouco o ego e deixar inclusive de esperar reconhecimento. Talvez por isso a coisa não vá para frente na academia brasileira... :-/ Sobre iniciativas institucionais de criar verbetes para a Wikipédia lusófona, recordo: https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/pBOJU4GY-sk/m/FR8WnRqvXOQJ %%% Conforme divulgado neste fórum entre 2007 e 2008, segue uma lista de alguns dos verbetes que foram inicialmente produzidos ou reformados por estudantes da UFRN (foram tantas edições vindas do laboratório do meu departamento, de fato, que em um certo momento os administradores ---que não são profissionais da área, e trabalham de graça, por pura boa vontade--- desconfiaram e bloquearam o nosso IP, até que eu entrei em contato e solicitei que desbloqueassem): "Acarretamento" / "Consequência semântica" - http://pt.wikipedia.org/wiki/Acarretamento "Alfred Horn" - http://pt.wikipedia.org/wiki/Alfred_Horn "Alfred Tarski" - http://pt.wikipedia.org/wiki/Alfred_Tarski "Algoritmo Chaff" - http://pt.wikipedia.org/wiki/Algoritmo_Chaff "Algoritmo de Davis-Putnam" - http://pt.wikipedia.org/wiki/Algoritmo_de_Davis-Putnam "Algoritmo DPLL" - http://pt.wikipedia.org/wiki/Algoritmo_DPLL "Anfeque" - http://pt.wikipedia.org/wiki/Anfeque "Argumento" - http://pt.wikipedia.org/wiki/Argumento "Aridade" - http://pt.wikipedia.org/wiki/Aridade "Assinatura (lógica)" - http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 "Átomo básico (lógica)" - http://pt.wikipedia.org/wiki/%C3%81tomo_b%C3%A1sico_%28l%C3%B3gica%29 "Atribuição (lógica)" - http://pt.wikipedia.org/wiki/Atribui%C3%A7%C3%A3o_%28l%C3%B3gica%29 "Axioma esquemático" - http://pt.wikipedia.org/wiki/Axioma_esquem%C3%A1tico "Axioma" - http://pt.wikipedia.org/wiki/Axioma "Base de Herbrand" - http://pt.wikipedia.org/wiki/Base_de_Herbrand "Cálculo proposicional implicacional" - http://pt.wikipedia.org/wiki/C%C3%A1lculo_proposicional_implicacional "Cláusula (lógica)" - http://pt.wikipedia.org/wiki/Cl%C3%A1usula_%28l%C3%B3gica%29 "Cláusula básica (lógica)" - http://pt.wikipedia.org/wiki/Cl%C3%A1usula_b%C3%A1sica_%28l%C3%B3gica%29 "Cláusula de Horn" - http://pt.wikipedia.org/wiki/Cl%C3%A1usula_de_Horn "Completude (lógica)" - http://pt.wikipedia.org/wiki/Completude_%28l%C3%B3gica%29 "Completude funcional" - http://pt.wikipedia.org/wiki/Completude_funcional "Consequência lógica" - http://pt.wikipedia.org/wiki/Consequ%C3%AAncia_l%C3%B3gica "Constante" - http://pt.wikipedia.org/wiki/Constante "Correção" - http://pt.wikipedia.org/wiki/Corre%C3%A7%C3%A3o "Dedução natural" - http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural "Derivação formal" - http://pt.wikipedia.org/wiki/Deriva%C3%A7%C3%A3o_formal "Disjunção exclusiva" - http://pt.wikipedia.org/wiki/Disjun%C3%A7%C3%A3o_exclusiva "Dupla negação" - http://pt.wikipedia.org/wiki/Dupla_nega%C3%A7%C3%A3o "Entscheidungsproblem" - http://pt.wikipedia.org/wiki/Entscheidungsproblem "Equivalência lógica" - http://pt.wikipedia.org/wiki/Equival%C3%AAncia_l%C3%B3gica "Estrutura (lógica)" - http://pt.wikipedia.org/wiki/Estrutura_%28l%C3%B3gica%29 "Forma de um argumento" - http://pt.wikipedia.org/wiki/Forma_de_um_argumento "Forma lógica" - http://pt.wikipedia.org/wiki/Forma_l%C3%B3gica "Forma normal algébrica" - http://pt.wikipedia.org/wiki/Forma_normal_alg%C3%A9brica "Forma normal clausal" - http://pt.wikipedia.org/wiki/Forma_normal_clausal "Forma normal conjuntiva" - http://pt.wikipedia.org/wiki/Forma_normal_conjuntiva "Forma normal da negação" - http://pt.wikipedia.org/wiki/Forma_normal_da_nega%C3%A7%C3%A3o "Forma normal disjuntiva" - http://pt.wikipedia.org/wiki/Forma_normal_disjuntiva "Forma normal prenex" - http://pt.wikipedia.org/wiki/Forma_normal_prenex "Formalismo de Backus-Naur" - http://pt.wikipedia.org/wiki/Formalismo_de_Backus-Naur "Fórmula (lógica)" - http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 "Fórmula atômica" - http://pt.wikipedia.org/wiki/F%C3%B3rmula_at%C3%B4mica "Fórmula bem formada" - http://pt.wikipedia.org/wiki/F%C3%B3rmula_bem_formada "Função booleana" - http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_booleana "Função de verdade" - http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_verdade "Grafo lógico" - http://pt.wikipedia.org/wiki/Grafo_l%C3%B3gico "Gramática de ordem superior" - http://pt.wikipedia.org/wiki/Gram%C3%A1tica_de_ordem_superior "Henry M. Sheffer" - http://pt.wikipedia.org/wiki/Henry_M._Sheffer "Indução estrutural" - http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_estrutural "Interpretação (lógica)" - http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 "Interpretação pretendida" - http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_pretendida "Jacques Herbrand" - http://pt.wikipedia.org/wiki/Jacques_Herbrand "Lei de Peirce" - http://pt.wikipedia.org/wiki/Lei_de_Peirce "Leon Henkin" - http://pt.wikipedia.org/wiki/Leon_Henkin "Lista de regras de inferência" - http://pt.wikipedia.org/wiki/Lista_de_regras_de_infer%C3%AAncia "Lista de teorias de primeira ordem" - http://pt.wikipedia.org/wiki/Anexo:Lista_de_teorias_de_primeira_ordem "Literal (lógica)" - http://pt.wikipedia.org/wiki/Literal_%28l%C3%B3gica%29 "Literal básico (lógica)" - http://pt.wikipedia.org/wiki/Literal_b%C3%A1sico_%28l%C3%B3gica%29 "Lógica aristotélica" - http://pt.wikipedia.org/wiki/L%C3%B3gica_aristot%C3%A9lica "Lógica de ordem superior" - http://pt.wikipedia.org/wiki/L%C3%B3gica_de_ordem_superior "Lógica de primeira ordem" - http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem "Lógica de segunda ordem" - http://pt.wikipedia.org/wiki/L%C3%B3gica_de_segunda_ordem "Lógica proposicional" - http://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional "Métodos formais" - http://pt.wikipedia.org/wiki/M%C3%A9todos_formais "NE (NAND)"' - http://pt.wikipedia.org/wiki/NE_%28NAND%29 "NOU (NOR)"- http://pt.wikipedia.org/wiki/NOU_%28NOR%29 "Operação binária" - http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_bin%C3%A1ria "Operação ternária" - http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_tern%C3%A1ria "Operação unária" - http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_un%C3%A1ria "Par ordenado" - http://pt.wikipedia.org/wiki/Par_ordenado "Peter Naur" - http://pt.wikipedia.org/wiki/Peter_Naur "Princípio da resolução" - http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_resolu%C3%A7%C3%A3o "Problema de decisão" - http://pt.wikipedia.org/wiki/Problema_de_decis%C3%A3o "Problema de satisfatibilidade booleana" - http://pt.wikipedia.org/wiki/Problema_de_satisfatibilidade_booleana "Programação lógica" - http://pt.wikipedia.org/wiki/Programa%C3%A7%C3%A3o_l%C3%B3gica "Prolog" - http://pt.wikipedia.org/wiki/Prolog "Quadrado das oposições" - http://pt.wikipedia.org/wiki/Quadrado_das_oposi%C3%A7%C3%B5es "Quantificação existencial" - http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_existencia l "Quantificação universal" - http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_universal "Quantificação" - http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o "Recursividade (Ciência da Computação)" - http://pt.wikipedia.org/wiki/Recursividade_%28Ci%C3%AAncia_da_Computa%C3%A7%C3%A3o%29 "Recursividade" - http://pt.wikipedia.org/wiki/Recursividade "Regra de inferência" - http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia "Relação bem-fundada" - http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bem-fundada "Relação binária" - http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bin%C3%A1ria "Relação de recorrência" - http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_de_Recorr%C3%AAncia "Relação ternária" - http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_tern%C3%A1ria "Silogismo disjuntivo" - http://pt.wikipedia.org/wiki/Silogismo_disjuntivo "Silogismo hipotético" - http://pt.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico "Silogística booleana" - http://pt.wikipedia.org/wiki/Silog%C3%ADstica_Booleana "Símbolo não-lógico" - http://pt.wikipedia.org/wiki/S%C3%ADmbolo_n%C3%A3o-l%C3%B3gico "Sintaxe (lógica)" - http://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 "Sistema dedutivo" - http://pt.wikipedia.org/wiki/Sistema_dedutivo "Skolemização" - http://pt.wikipedia.org/wiki/Skolemiza%C3%A7%C3%A3o "Tautologia (lógica)" - http://pt.wikipedia.org/wiki/Tautologia_%28l%C3%B3gica%29 "Teorema da compacidade" - http://pt.wikipedia.org/wiki/Teorema_da_compacidade "Teorema da completude de Gödel" - http://pt.wikipedia.org/wiki/Teorema_da_completude_de_G%C3%B6del "Teorema de Herbrand" - http://pt.wikipedia.org/wiki/Teorema_de_Herbrand "Teoria de Herbrand" - http://pt.wikipedia.org/wiki/Teoria_de_Herbrand "Teoria ingênua dos conjuntos" - http://pt.wikipedia.org/wiki/Teoria_ing%C3%AAnua_dos_conjuntos "Teoria semântica da verdade" - http://pt.wikipedia.org/wiki/Teoria_sem%C3%A2ntica_da_verdade "Thoralf Skolem" - http://pt.wikipedia.org/wiki/Thoralf_Skolem "Unificação" - http://pt.wikipedia.org/wiki/Unifica%C3%A7%C3%A3o "Universo de discurso" - http://pt.wikipedia.org/wiki/Universo_de_discurso "Universo de Herbrand" - http://pt.wikipedia.org/wiki/Universo_de_Herbrand "Validade" - http://pt.wikipedia.org/wiki/Validade "Valor de verdade" - http://pt.wikipedia.org/wiki/Valor_de_verdade "Valoração (lógica)" - http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 "Variáveis livres e ligadas" - http://pt.wikipedia.org/wiki/Vari%C3%A1veis_livres_e_ligadas Estudantes da UFPE também produziram muitos verbetes, também divulgados ocasionalmente nesta lista, sob a orientação de Ruy de Queiroz. %%% É um monte de gente procurando fazer o seu melhor (reitero: quase sempre, trabalhando de graça). Vale lembrar que se o conteúdo correspondente ainda não está excelente (e não está), nós, como comunidade, somos os únicos culpados! Qualquer um pode editar (ou, se preferir, pode ficar esperando por um convite). Joao Marcos JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li-SLyUboX3hFnTq3eyyb-9uAcbYrY87Go9Pq%2BoCcRSFQ%40mail.gmail.com.
