C2 · 50 Wörter
Formale Logik
Aussage, Junktor, Quantor, Beweis — die Sprache, in der Schlüsse überprüfbar werden.
Zwei Wörter werden im Alltag gleichgesetzt und sind in der Logik streng geschieden: válido und verdadero. Ein Schluss ist <em>gültig</em>, wenn die Folgerung aus den Prämissen zwingend ist — auch wenn die Prämissen falsch sind. Erst wenn beides zusammenkommt, heißt er sólido: gültig und mit wahren Prämissen.
Die Wörter
Wendung (41)
la lógica formaldie formale LogikWendungC2
La lógica formal se interesa por la forma, no por el tema.Die formale Logik interessiert sich für die Form, nicht für den Inhalt.
el valor de verdadder WahrheitswertWendungC2
El valor de verdad se calcula, no se opina.Der Wahrheitswert wird berechnet, nicht gemeint.
la tabla de verdaddie WahrheitstafelWendungC2
La tabla de verdad recorre todos los casos.Die Wahrheitstafel geht alle Fälle durch.
la conjunción lógicadie KonjunktionWendungC2
La conjunción lógica exige que ambas sean verdaderas.Die Konjunktion verlangt, dass beide wahr sind.
la disyunción inclusivadie einschließende DisjunktionWendungC2
La disyunción inclusiva admite que se den las dos.Die einschließende Disjunktion lässt beide zugleich zu.
la disyunción exclusivadie ausschließende DisjunktionWendungC2
La disyunción exclusiva descarta que coincidan.Die ausschließende Disjunktion schließt das Zusammentreffen aus.
la negación lógicadie NegationWendungC2
La negación lógica invierte el valor de verdad.Die Negation kehrt den Wahrheitswert um.
el condicional materialdie materiale ImplikationWendungC2
El condicional material solo es falso si el antecedente es verdadero y el consecuente falso.Die materiale Implikation ist nur falsch, wenn das Vorderglied wahr und das Hinterglied falsch ist.
el modus ponensder bejahende SchlussmodusWendungC2
El modus ponens afirma el antecedente y concluye el consecuente.Der bejahende Schlussmodus setzt das Vorderglied und schließt auf das Hinterglied.
el modus tollensder verneinende SchlussmodusWendungC2
El modus tollens niega el consecuente y concluye la negación del antecedente.Der verneinende Schlussmodus verneint das Hinterglied und schließt auf die Verneinung des Vorderglieds.
la afirmación del consecuentedie Bejahung des HintergliedsWendungC2
La afirmación del consecuente es una falacia formal.Die Bejahung des Hinterglieds ist ein formaler Fehlschluss.
la negación del antecedentedie Verneinung des VordergliedsWendungC2
La negación del antecedente no concluye nada.Die Verneinung des Vorderglieds erlaubt keinen Schluss.
el argumento válidoder gültige SchlussWendungC2
El argumento válido puede partir de premisas falsas.Der gültige Schluss kann von falschen Prämissen ausgehen.
el argumento sólidoder schlüssige BeweisgangWendungC2
El argumento sólido es válido y parte de premisas verdaderas.Der schlüssige Beweisgang ist gültig und geht von wahren Prämissen aus.
la premisa mayorder ObersatzWendungC2
La premisa mayor contiene el término general.Der Obersatz enthält den allgemeinen Begriff.
la conclusión lógicadie KonklusionWendungC2
La conclusión lógica no añade información nueva.Die Konklusion fügt keine neue Information hinzu.
la tautología lógicadie logisch wahre FormelWendungC2
La tautología lógica es verdadera en toda interpretación.Die logisch wahre Formel ist unter jeder Deutung wahr.
la contingencia lógicadie kontingente FormelWendungC2
La contingencia lógica depende de la interpretación.Die kontingente Formel hängt von der Deutung ab.
la consecuencia lógicadie logische FolgerungWendungC2
La consecuencia lógica no depende del contenido.Die logische Folgerung hängt nicht vom Inhalt ab.
la equivalencia lógicadie logische GleichwertigkeitWendungC2
La equivalencia lógica permite sustituir una fórmula por otra.Die logische Gleichwertigkeit erlaubt es, eine Formel durch eine andere zu ersetzen.
el cuantificador universalder AllquantorWendungC2
El cuantificador universal se refuta con un solo caso.Der Allquantor wird mit einem einzigen Fall widerlegt.
el cuantificador existencialder ExistenzquantorWendungC2
El cuantificador existencial se prueba con un ejemplo.Der Existenzquantor wird mit einem Beispiel bewiesen.
el alcance del cuantificadorder Wirkungsbereich des QuantorsWendungC2
El alcance del cuantificador cambia todo el sentido.Der Wirkungsbereich des Quantors verändert den ganzen Sinn.
la variable ligadadie gebundene VariableWendungC2
La variable ligada no se puede sustituir libremente.Die gebundene Variable lässt sich nicht frei ersetzen.
la variable libredie freie VariableWendungC2
La variable libre deja la fórmula sin valor de verdad.Die freie Variable lässt die Formel ohne Wahrheitswert.
el predicado lógicodas PrädikatWendungC2
El predicado lógico se aplica a uno o varios argumentos.Das Prädikat wird auf ein oder mehrere Argumente angewandt.
la lógica de predicadosdie PrädikatenlogikWendungC2
La lógica de predicados mira dentro de la proposición.Die Prädikatenlogik blickt in die Aussage hinein.
la lógica proposicionaldie AussagenlogikWendungC2
La lógica proposicional trata la proposición como un bloque.Die Aussagenlogik behandelt die Aussage als Block.
la lógica modaldie ModallogikWendungC2
La lógica modal distingue lo necesario de lo posible.Die Modallogik unterscheidet das Notwendige vom Möglichen.
el mundo posibledie mögliche WeltWendungC2
El mundo posible es un recurso técnico, no una promesa.Die mögliche Welt ist ein technisches Mittel, kein Versprechen.
la necesidad lógicadie logische NotwendigkeitWendungC2
La necesidad lógica vale en todos los mundos.Die logische Notwendigkeit gilt in allen Welten.
la demostración directader direkte BeweisWendungC2
La demostración directa va de las premisas al final.Der direkte Beweis führt von den Prämissen zum Ende.
la reducción al absurdoder WiderspruchsbeweisWendungC2
La reducción al absurdo supone lo contrario y lo rompe.Der Widerspruchsbeweis nimmt das Gegenteil an und zerbricht es.
el caso refutadorder widerlegende FallWendungC2
El caso refutador basta para tumbar una regla general.Der widerlegende Fall genügt, um eine allgemeine Regel zu stürzen.
la inducción matemáticadie vollständige InduktionWendungC2
La inducción matemática no es inducción empírica.Die vollständige Induktion ist keine empirische Induktion.
el sistema axiomáticodas AxiomensystemWendungC2
El sistema axiomático parte de lo que no demuestra.Das Axiomensystem geht von dem aus, was es nicht beweist.
la regla de inferenciadie SchlussregelWendungC2
La regla de inferencia dice qué paso está permitido.Die Schlussregel sagt, welcher Schritt erlaubt ist.
la consistencia del sistemadie WiderspruchsfreiheitWendungC2
La consistencia del sistema impide probar todo.Die Widerspruchsfreiheit verhindert, dass alles beweisbar wird.
el teorema de incompletitudder UnvollständigkeitssatzWendungC2
El teorema de incompletitud puso un límite a la propia matemática.Der Unvollständigkeitssatz setzte der Mathematik selbst eine Grenze.
la paradoja lógicadie logische AntinomieWendungC2
La paradoja lógica obligó a reescribir la teoría de conjuntos.Die logische Antinomie zwang dazu, die Mengenlehre neu zu schreiben.
la formalización del argumentodie FormalisierungWendungC2
La formalización del argumento revela lo que faltaba.Die Formalisierung deckt auf, was fehlte.
Diese Liste gehört zu Wissen und Technik — 61 Listen und 3050 Wörter, die sich auch am Stück abfragen lassen.
Diese Liste abfragen
Auswahl und Lücke, aus genau diesen 50 Wörtern. Was Sie falsch beantworten, kommt morgen wieder.