PREDICATE LOGIC - Englisch-Deutsch Übersetzung

im PONS Wörterbuch

OpenDict-Eintrag

predicate logic SUBST

predicate logic MATH

Prädikatenlogik f

im PONS Wörterbuch

I. predi·cate SUBST [ˈpredɪkət, Am -kɪt]

predicate LING, COMPUT

Prädikat nt <-(e)s, -e> fachspr

predicate LING also

Satzaussage f fachspr

II. predi·cate VERB trans [ˈpredɪkeɪt] form

1. predicate (assert):

to predicate that ...

behaupten, dass ...

2. predicate usu passive (base):

to be predicated on [or upon] sth

auf etw Dat basieren

log·ic [ˈlɒʤɪk, Am ˈlɑ:ʤ-] SUBST no pl

1. logic (chain of reasoning):

logic

Logik f <->

he cannot refuse to acknowledge the force of logic

er kann sich der zwingenden Logik nicht widersetzen

that's just logic

das ist einfach logisch

deductive logic

logische Schlussfolgerung

flawed logic

unlogischer Gedankengang

internal logic

innere Logik

to defy logic

gegen jede Logik verstoßen

to follow sb's logic

jds Logik [o. Gedankengang] folgen

2. logic (formal thinking):

logic

Logik f <->

formal logic

die formale Logik

3. logic (justification):

logic

Vernunft f <->

there's no logic in the decision

die Entscheidung ist wider alle Vernunft

4. logic COMPUT:

logic

Logik f <->

5. logic ELEK:

logic

Logikschaltung f

Present

I	predicate
you	predicate
he/she/it	predicates
we	predicate
you	predicate
they	predicate

Past

I	predicated
you	predicated
he/she/it	predicated
we	predicated
you	predicated
they	predicated

Present Perfect

I	have	predicated
you	have	predicated
he/she/it	has	predicated
we	have	predicated
you	have	predicated
they	have	predicated

Past Perfect

I	had	predicated
you	had	predicated
he/she/it	had	predicated
we	had	predicated
you	had	predicated
they	had	predicated

Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)

Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic.

en.wikipedia.org

Languages with the full power of first-order predicate logic may be required for many tasks.

en.wikipedia.org

They successfully transferred key properties of description, modal, and temporal logic to predicate logic.

en.wikipedia.org

It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic.

en.wikipedia.org

For predicate logic, the atoms are predicate symbols together with their arguments, each argument being a term.

en.wikipedia.org