PREDICATE LOGIC - Αγγλικά-Γερμανικά μετάφραση

στο λεξικό PONS

Καταχώριση OpenDict

predicate logic ΟΥΣ

predicate logic ΜΑΘ

Prädikatenlogik θηλ

στο λεξικό PONS

I. predi·cate ΟΥΣ [ˈpredɪkət, αμερικ -kɪt]

predicate ΓΛΩΣΣ, Η/Υ

Prädikat ουδ <-(e)s, -e> ειδικ ορολ

predicate ΓΛΩΣΣ also

Satzaussage θηλ ειδικ ορολ

II. predi·cate ΡΉΜΑ μεταβ [ˈpredɪkeɪt] τυπικ

1. predicate (assert):

to predicate that ...

behaupten, dass ...

2. predicate usu passive (base):

to be predicated on [or upon] sth

auf etw δοτ basieren

log·ic [ˈlɒʤɪk, αμερικ ˈlɑ:ʤ-] ΟΥΣ no pl

1. logic (chain of reasoning):

logic

Logik θηλ <->

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 θηλ <->

formal logic

die formale Logik

3. logic (justification):

logic

Vernunft θηλ <->

there's no logic in the decision

die Entscheidung ist wider alle Vernunft

4. logic Η/Υ:

logic

Logik θηλ <->

5. logic ΗΛΕΚ:

logic

Logikschaltung θηλ

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

Μονόγλωσσα παραδείγματα (μη ελεγμένα από τη συντακτική ομάδα της PONS)

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