PREDICATE LOGIC po niemiecku - Tłumaczenie angielski-niemiecki

w słowniku PONS

Wpis OpenDict

predicate logic RZ.

predicate logic MAT.

Prädikatenlogik r.ż.

w słowniku PONS

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

predicate JĘZ., INF.

Prädikat r.n. <-(e)s, -e> spec.

predicate JĘZ. also

Satzaussage r.ż. spec.

II. predi·cate CZ. cz. przech. [ˈ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 C. basieren

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

1. logic (chain of reasoning):

logic

Logik r.ż. <->

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 r.ż. <->

formal logic

die formale Logik

3. logic (justification):

logic

Vernunft r.ż. <->

there's no logic in the decision

die Entscheidung ist wider alle Vernunft

4. logic INF.:

logic

Logik r.ż. <->

5. logic ELEKT.:

logic

Logikschaltung r.ż.

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

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez 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