C2 · 50 palavras
A lógica formal em espanhol
Proposição, conectivo, quantificador, demonstração — a língua em que um raciocínio se torna verificável.
El predicado lógico é o predicado, e nisso as duas línguas coincidem: o que se diz de um ou mais argumentos, tanto na lógica como na análise da frase. O que o espanhol não tem é o plural que o português usa todos os dias: « tem muitos predicados » diz-se de uma pessoa de boas qualidades, e nesse sentido los predicados não existe em espanhol — ali são las cualidades, las virtudes, las prendas. Quem elogia um candidato em espanhol pelos seus predicados acaba de o elogiar pela gramática.
As palavras
Vista
Expressão (41)
la lógica formalo estudo da forma de um raciocínio, não do seu temaExpressãoC2
La lógica formal se interesa por la forma, no por el tema.A lógica formal interessa-se pela forma, não pelo tema.
el valor de verdado facto de um enunciado sair verdadeiro ou falsoExpressãoC2
El valor de verdad se calcula, no se opina.O valor de verdade calcula-se, não se opina.
la tabla de verdada grelha que percorre todos os casosExpressãoC2
La tabla de verdad recorre todos los casos.A tabela de verdade percorre todos os casos.
la conjunción lógicao conectivo que exige verdadeiros os dois ladosExpressãoC2
La conjunción lógica exige que ambas sean verdaderas.A conjunção exige que ambas sejam verdadeiras.
la disyunción inclusivao ou que permite os dois ao mesmo tempoExpressãoC2
La disyunción inclusiva admite que se den las dos.A disjunção inclusiva admite que se deem as duas.
la disyunción exclusivao ou que exclui os dois ao mesmo tempoExpressãoC2
La disyunción exclusiva descarta que coincidan.A disjunção exclusiva afasta que coincidam.
la negación lógicao conectivo que vira ao contrário um valor de verdadeExpressãoC2
La negación lógica invierte el valor de verdad.A negação inverte o valor de verdade.
el condicional materialo se-então que só falha com a frente verdadeira e o fim falsoExpressãoC2
El condicional material solo es falso si el antecedente es verdadero y el consecuente falso.O condicional material só é falso se o antecedente for verdadeiro e o consequente falso.
el modus ponenso passo que concede a frente e conclui o fimExpressãoC2
El modus ponens afirma el antecedente y concluye el consecuente.O modus ponens afirma o antecedente e conclui o consequente.
el modus tollenso passo que nega o fim e conclui contra a frenteExpressãoC2
El modus tollens niega el consecuente y concluye la negación del antecedente.O modus tollens nega o consequente e conclui a negação do antecedente.
la afirmación del consecuenteo erro formal de conceder o fim e concluir a frenteExpressãoC2
La afirmación del consecuente es una falacia formal.A afirmação do consequente é uma falácia formal.
la negación del antecedenteo erro formal de negar a frente e concluir contra o fimExpressãoC2
La negación del antecedente no concluye nada.A negação do antecedente não conclui nada.
el argumento válidoo raciocínio cuja conclusão decorre, valham o que valerem as premissasExpressãoC2
El argumento válido puede partir de premisas falsas.O argumento válido pode partir de premissas falsas.
el argumento sólidoo raciocínio que decorre e cujas premissas são também verdadeirasExpressãoC2
El argumento sólido es válido y parte de premisas verdaderas.O argumento sólido é válido e parte de premissas verdadeiras.
la premisa mayora premissa que carrega o termo geralExpressãoC2
La premisa mayor contiene el término general.A premissa maior contém o termo geral.
la conclusión lógicaa última linha, que não acrescenta informação nenhumaExpressãoC2
La conclusión lógica no añade información nueva.A conclusão não acrescenta informação nova.
la tautología lógicaa fórmula que sai verdadeira sob qualquer leituraExpressãoC2
La tautología lógica es verdadera en toda interpretación.A tautologia lógica é verdadeira em toda a interpretação.
la contingencia lógicaa fórmula cuja verdade depende da leituraExpressãoC2
La contingencia lógica depende de la interpretación.A fórmula contingente depende da interpretação.
la consecuencia lógicaaquilo que decorre das premissas só pela formaExpressãoC2
La consecuencia lógica no depende del contenido.A consequência lógica não depende do conteúdo.
la equivalencia lógicaa igualdade de valor que permite trocar uma fórmula por outraExpressãoC2
La equivalencia lógica permite sustituir una fórmula por otra.A equivalência lógica permite substituir uma fórmula por outra.
el cuantificador universalo quantificador que afirma alguma coisa de todos os casosExpressãoC2
El cuantificador universal se refuta con un solo caso.O quantificador universal refuta-se com um só caso.
el cuantificador existencialo quantificador que afirma alguma coisa de pelo menos um casoExpressãoC2
El cuantificador existencial se prueba con un ejemplo.O quantificador existencial prova-se com um exemplo.
el alcance del cuantificadoro troço de fórmula sobre que um quantificador mandaExpressãoC2
El alcance del cuantificador cambia todo el sentido.O alcance do quantificador muda todo o sentido.
la variable ligadaa variável de que um quantificador se apoderouExpressãoC2
La variable ligada no se puede sustituir libremente.A variável ligada não se pode substituir livremente.
la variable librea variável de que nenhum quantificador se apoderouExpressãoC2
La variable libre deja la fórmula sin valor de verdad.A variável livre deixa a fórmula sem valor de verdade.
el predicado lógicoaquilo que se diz de um ou mais argumentosExpressãoC2
El predicado lógico se aplica a uno o varios argumentos.O predicado aplica-se a um ou vários argumentos.
la lógica de predicadosa lógica que olha para dentro do enunciadoExpressãoC2
La lógica de predicados mira dentro de la proposición.A lógica de predicados olha para dentro da proposição.
la lógica proposicionala lógica que trata o enunciado como um blocoExpressãoC2
La lógica proposicional trata la proposición como un bloque.A lógica proposicional trata a proposição como um bloco.
la lógica modala lógica que separa o necessário do apenas possívelExpressãoC2
La lógica modal distingue lo necesario de lo posible.A lógica modal distingue o necessário do possível.
el mundo posibleo modo como as coisas poderiam ter sido, tomado como ferramentaExpressãoC2
El mundo posible es un recurso técnico, no una promesa.O mundo possível é um recurso técnico, não uma promessa.
la necesidad lógicaaquilo que vale fossem as coisas como fossemExpressãoC2
La necesidad lógica vale en todos los mundos.A necessidade lógica vale em todos os mundos.
la demostración directaa demonstração que vai das premissas até ao fimExpressãoC2
La demostración directa va de las premisas al final.A demonstração direta vai das premissas até ao fim.
la reducción al absurdoa demonstração que supõe o contrário e o parteExpressãoC2
La reducción al absurdo supone lo contrario y lo rompe.A redução ao absurdo supõe o contrário e parte-o.
el caso refutadoro caso único que deita abaixo uma regra geralExpressãoC2
El caso refutador basta para tumbar una regla general.Um caso refutador basta para deitar abaixo uma regra geral.
la inducción matemáticaa demonstração de um caso para o seguinte, que não é empíricaExpressãoC2
La inducción matemática no es inducción empírica.A indução matemática não é indução empírica.
el sistema axiomáticoo conjunto dos pontos de partida que não são demonstradosExpressãoC2
El sistema axiomático parte de lo que no demuestra.O sistema axiomático parte daquilo que não demonstra.
la regla de inferenciaa regra que diz que passo é permitidoExpressãoC2
La regla de inferencia dice qué paso está permitido.A regra de inferência diz que passo é permitido.
la consistencia del sistemao não demonstrar uma coisa e o seu contrárioExpressãoC2
La consistencia del sistema impide probar todo.A consistência do sistema impede que se prove tudo.
el teorema de incompletitudo resultado que pôs um limite à própria matemáticaExpressãoC2
El teorema de incompletitud puso un límite a la propia matemática.O teorema da incompletude pôs um limite à própria matemática.
la paradoja lógicaa contradição que obrigou a reescrever a teoria dos conjuntosExpressãoC2
La paradoja lógica obligó a reescribir la teoría de conjuntos.O paradoxo lógico obrigou a reescrever a teoria dos conjuntos.
la formalización del argumentoa passagem de um raciocínio a símbolosExpressãoC2
La formalización del argumento revela lo que faltaba.A formalização do argumento revela o que faltava.
Substantivo (f) (5)
la proposicióno enunciado que é ou verdadeiro ou falsoSubstantivo (f)C2
La proposición es verdadera o falsa, no ambas.A proposição é verdadeira ou falsa, não ambas.
la contradiccióno par que não pode valer junto, e do qual decorre tudoSubstantivo (f)C2
La contradicción hace que todo se siga.Da contradição decorre tudo.
la satisfacibilidado ter pelo menos uma leitura que a torne verdadeiraSubstantivo (f)C2
La satisfacibilidad exige al menos un modelo.A satisfazibilidade exige pelo menos um modelo.
la completitudo demonstrar tudo aquilo que é verdadeiroSubstantivo (f)C2
La completitud significa que lo verdadero es demostrable.A completude significa que o verdadeiro é demonstrável.
la decidibilidado ter um procedimento que acaba sempreSubstantivo (f)C2
La decidibilidad exige un procedimiento que siempre termine.A decidibilidade exige um procedimento que acabe sempre.
Substantivo (m) (4)
el bicondicionalo conectivo que exige o mesmo valor dos dois ladosSubstantivo (m)C2
El bicondicional exige el mismo valor en ambos lados.O bicondicional exige o mesmo valor dos dois lados.
el antecedentea parte que fica à frente do entãoSubstantivo (m)C2
El antecedente va delante del entonces.O antecedente vai à frente do então.
el consecuentea parte que fica atrás do entãoSubstantivo (m)C2
El consecuente no implica el antecedente.O consequente não implica o antecedente.
el metalenguajea língua em que se fala da línguaSubstantivo (m)C2
El metalenguaje habla del lenguaje objeto.A metalinguagem fala da linguagem objeto.
Esta lista pertence a Opinião e argumentação — doze listas e 596 palavras que também se podem praticar juntas.
Praticar esta lista
Destas 50 palavras, quantas quiseres por ronda, até todas: primeiro o que é para hoje, depois as novas. Primeiro escolhes, depois completas, depois escreves tu. Os erros voltam logo a seguir.