Logik-Lern-Vokabular
deutsch/englisch
Vocabulary for Learning Logic
German/English
Bernd Baumgarten
Stand 6.6.2015,
Version 6-6-2015,
für Foliensätze A–F der Logikvorlesung
for slide sets A–F+H of Logic course
Trivialitäten, die ein(e) Englischsprecher(in) sofort lesen kann, wie
Words immediately recognizable by English language readers, such as
Element element, Axiom axiom, transitiv transitive, induktiv inductive,
sind weggelassen.
have been omitted.
Abbildung
abgeschlossen
abhängig
Abkürzung
Ablauf (zeitlich)
ableitbar
ableiten
Ableitung
ablesen
abzählbar
akzeptieren
allgemein
allgemeingültig
Allquantor
andere(-r,-s)
anders
andersartig
anfangs, AnfangsAnfangsstück
Anforderung
angewiesen sein
Annahme
annehmen
Anschrift
Anweisung
Anwendung
äquivalent
Äquivalenz
argumentieren
Ast
atomar
Aufbau
auflösen
Aufspaltung (im Baum)
Aufwand
mapping, function, illustration
closed
dependent/-ing
abbreviation, acronym
sequence
derivable
derive, conclude, infere
derivation
read off, recognize
countable, denumerable
accept
general(ly)
valid, universally valid
universal quantifier (for all …)
other, different, alternative
differently
in a different way
initial(ly)
prefix
demand, requirement
depend on, need
assumption, premise, premiss
assume
label
program statement
application
equivalent
equivalence
argue, discuss, reason
subtree
atomic
composition, structure, building
solve, resolve
branching
effort, complexity
aufwändig
Ausdruck, Term
ausdrücken
Ausdrucksmittel
ausgezeichnet
auslassen
Ausnahme
ausreichend
ausreichend
Aussage
Aussagenlogik
Aussagevariable
außen
außer
äußere(-r,-s)
äußerst
auswerten
Auswertung
axiomatisierbar
Basis
Basiselement
Basisfall
Baum
Bedeutung
bedingt
Begriff
Begründung
behandeln
Beispiel
beispielweise
Belegung (von Aussagevariablen)
Belegung (von Tabellenfeldern)
beliebig
benutzen
Benutzung
beobachten
Beobachtung
berechenbar
berechnen
berechtigen
Bereich
beschreiben
Beschreibung
beschriften
beseitigen
besondere(-r,-s)
bestimmen
betrachten
Beweis
complex
term, expression
express
means of expression
distinguished
omit
exception
sufficient
sufficient
proposition, statement
propositional logic
propositional variable
(on the) outside
except
exterior, external, ouside
extremely, outermost
evaluate
evaluation
axiomatizable
base
base case
base case
(rooted) tree
meaning, significance
conditional
notion, concept, term
explanation, reason
treat, deal with
example
for example
valuation (of propositional variables)
entry (in a table)
arbitrary(ily)
use, apply
use, application
observe
observation
computable
compute
justify, authorize(s)e
domain, scope
describe
description
label
replace, get rid of, eliminate
particular, specific
determine
consider
proof
beweisbar
beweisen
Beziehung
bilden
Bildmenge
Blatt
brauchen
Brettspiel
darstellen
Darstellung
definieren
definiert
Definitionsbereich
denkbar
denken
der/die/das-selbe
derart dass
disjunkt
durchgehend
Durchschnitt(smenge)
Eigenschaft
eindeutig
einfach
einführen
Einführung
Einrücken
Eintrag
einzeln
einzig
Element (einer Menge)
Eltern
endlich
Endstück
enthalten
Entscheidbarkeit
entscheiden
Entstehungsgeschichte
entweder oder
Ereignis
Erfahrung
erfüllbar
Erfüllbarkeit
erfüllen
Ergänzung
Erinnerung
erkennen (durch Automaten)
erlaubt
erledigt
erreichbar
provable
prove
relation(ship)
form
range
leaf
need
board game
represent, depict, express
representation, depiction
define
defined
domain
conceivable
think
same
such that
disjoint
continuous(ly), full(ly)
intersection
property
unique
simple
introduce
introduction
indent
entry
single, singly, one by one
only, sole
member, element (of a set)
parents
finite(ly)
suffix
contain (as a member/ an occurrence of)
decidability
decide
development history
either or
event
experience
satisfiable
satisfiability
fulfil(l), satisfy
supplement
memory, reminder
accept (by automaton)
permitted
dealt with
reachable
ersetzen
erwarten
Erweiterung
Exemplar
Existenzquantor
falsch, unwahr
fast
Fehler
festlegen
Folge
folgen aus
folgern
Form
Formel
Frage
frei
garantieren
geboten, Pflicht
gebunden
geeignet
gegeben
Gegenbehauptung
Gegenbeispiel
gegenseitig
Gegenteil
gelten
genau
genau dann, wenn
geordnet
gerichtet
gesamt
geschlossen
gestrichelt
gleichzeitig
Glied (einer Folge)
Grad
Grammatik
Grund
gültig
Gültigkeit
Halbentscheidung
Halteproblem
heranrücken
Hilfe, Hilfshintereinander
Hintereinanderausführung
identifizieren
identisch
Identität
replace, substitute
expect
continuation, extension
copy
existential quantifier (for at least one …)
false
almost
mistake, error
determine
sequence
be a consequence of, follow from
conclude, derive, infere
shape, notation
formula, well-formed formula
question
free
guarantee, provide for
duty, obligation, mandatory
bound
appropriate
given
opposite
counterexample
mutual(ly)
opposite
hold, be true
exact(ly)
iff, if and only if
ordered
directed
entire, full, total
closed
dotted, dashed
simultaneous(ly)
member (of a sequence)
degree
grammar
reason, base
valid
validity
semi decision
halting problem
move towards
help, aid, support, auxiliary
one right after the other
composition, sequential execution
identify
identical
identity
Induktionsprinzip
innen
innere(-r,-s)
innerste(-r,-s)
irgendwann
isoliert
je nach
jede(-r,-s)
Junktor
Kalkül
kanonisch
Kante (im Graph)
Kette
Kind
Klammern
Klammerung
klassisch
Klausel
Kleinkram
kleinstmöglich
Knoten
Konklusion
können
Konstante
konstruieren
Körper
Korrektheit
leer
letzte(-r,-s)
liefern
liefern
linkseindeutig
linkstotal
lösbar
löschen
lösen
markieren
Matrix
mehrfach
Menge
mindestens
mittels
Modallogik
modifizieren
Modus
möglich
müssen
Nachfolger
induction principle/theorem
inside
interior
innermost
some time or other
isolated
depending on
each, every
logical connective, logical operator, truthfunctional operator
calculus
canonical(ly)
edge, arc (in graph)
chain
child
parentheses (), square brackets [], braces {}
use of parentheses
classical
clause
odds and ends
least possible
node, vertex
conclusion, consequence
can, may
constant
construct
body
correctness
empty
last, previous
yield, provide us with
provide, yield
left-unique
left-total
solvable
delete
solve
mark, tag, flag
array
multiple, multiply
set
at least
by means of
modal logic
modify
mode, modus
possible
must, have to
successor
nachprüfen
nächste(-r,-s)
Nachteil
namenlos
natürlich
nebeneinander
nicht
nichtdeterministisch
nichtterminal
nie
notwendig
nullstellig
Obermenge
oder
offen
Paar
partiell
passend
Pfeil
polnisch
Potenzmenge
Prädikat
Prädikatenlogik
Prämisse
prüfen
quantifizieren
Quantor
Rahmen
rechnen
rechtseindeutig
rechtstotal
reduzieren
Regel
reichen, ausreichen
Reihenfolge
Reise
Rest
richtig
Satz
Schalter
Schaltwerk
schief gehen
schließen
Schluss
Schreibweise
Schritt
schrittweise
semantisch
Skizze
verify
next
disadvantage
anonymous
natural(ly), of course
one next to the other
not
non-deterministic(ally)
nonterminal
never
necessary (-ily)
0-ary, without arguments
superset
or
open
pair
partial
fitting, appropriate, sufficient
arrow
Polish
power set
predicate
predicate logic, first order logic
premise, premiss
check, test, examine
quantify
quantifier
frame
calculate
right-unique
right-total
reduce
rule
suffice
order
journey
remainder
proper, correct
theorem, fact, law
switch
circuit
go wrong
conclude, derive, infere
inference, conclusion
notation
step
stepwise, step by step
semantical(ly)
sketch, outline, draft
sonst, andernfalls
Spalte (in Tabelle)
Spezialisierung
speziell
Sprache
sprachlich
Stelligkeit
stetig
stets
steuern
streichen
Strich
Stufe
symmetrisch
syntaktisch
Tabelle
Tagebuch
technisch
Teilformel
Teilmenge
terminieren
Terminierung
Tiefe
Träger(menge)
über (einem Alphabet)
überabzählbar
Übergang
übergeordnet
Überlegung
überspringen
umbenennen
umfassen
umformen
Umformung
umgekehrt
Umkehr-, Umkehrung
unabhängig
unbedingt
und
unendlich
unerfüllbar
unerledigt
unerwünscht
ungeordnet
ungültig
unmittelbar
untereinander
untergeordnet
unterscheiden
else
column (in table)
specialis(z)ation
special
language
verbally, by way of (natural) language
arity
continuous
always
steer, control
delete, remove
line
step, phase
symmetric
syntactical(ly)
table
diary
technical
subformula
subset
terminate, come to an end
termination
depth
support, domain
over (an alphabet)
uncountable
transition
at a higher level, above the present one
consideration, arguments
skip
rename
comprise
expand, transform
expansion, transformation
the other way around
inverse
independent(ly)
necessarily, mandatory
and
infinite(ly)
unsatisfiable
not yet dealt with
undesirable
unordered
invalid, false
direct(ly), immediate(ly), right away
one below the other
subordinate
distinguish
Unterschied
unterschiedlich
verändern
Veränderung
verbessern
verbinden
vereinfachen
Vereinigung(smenge)
Verfahren
verfälschen
verfügbar
vergleichen
verifizieren
Verkettung
Verknüpfung
verlaufen
verletzen (Forderung)
vermutlich
verschieden
verschmelzen
vertauschen
verwenden
verzweigen
vollständig
Voraussetzung
Vorkommen
Vorteil
Wahl, Auswahl
wahr
Wahrheit
Wahrheitstafel
Wahrheitswert
Wahrheitswerteverlauf
wahrscheinlich
weder noch
Weg
weglassen
wegrücken
weiter
Welt
wenn … dann
Werkzeug
Werkzeugkasten
Wert
Wertebereich
Werteverlauf
widerlegbar
Widerlegbarkeit
widerlegen
difference
different, distinct
modify, change
modification, change
improve
connect
simplify
union
method, procedure
garbled
available
compare
verify
composition
connective, composition,
run, develop
violate (request)
probable (/-ly)
different, distinct, various
merge
ex-/interchange, switch
use, apply
branch
complete(ly)
assumption, premise, premiss
occurrence
advantage
choice, selection
true
truth
truth table
truth value
truth values depending on valuations
probable (/-ly)
neither nor
way, path, route
omit
move away
further, more
world
if … then
tool
tool box
value
codomain, range
values depending on arguments
invalid, falsifiable
invalidity, falsifiability
falsify, refute, prove wrong, prove to be
Widerspruch
widersprüchlich
wiederholen
Wiederholung
Wissen(sbasis)
wohldefiniert
Wort, Wörter
Wunsch
Wurzel
Zahl (natürlich, ganz, reell)
Zeichen
zeigen
Zeile (in Tabelle)
Zeile (in Text)
zeitlich
Zeitpunkt
Zeitraum
Ziel
zugehörig
zumindest
zuordnen
zusammengesetzt
Zusammenhang
zusammenhängend
Zusammensetzung
zusätzlich
Zustand
zutreffen
Zuweisung
Zweig
zweistellig
Zwischen-
refutable
contradiction
contradictory
repeat
repetition
knowledge (base)
well-defined
word, words
wish, desire
root
number (natural, integer, real)
symbol, character
show, demonstrate
row (in table)
line (in text)
temporal
moment, point in time
time interval
target, aim
respective, pertaining
at least
match, assign
composite
connection
connected
composition
additional
state
hold, apply
assignment
path from root to leaf
binary, having two arguments
intermediate
© Copyright 2024 ExpyDoc
