Come desideri usare PONS.com?

Hai già un abbonamento a PONS Pur o PONS Translate Pro?

PONS con annunci

Visita come di consueto PONS.com con tracking e annunci pubblicitari

Puoi trovare informazioni più dettagliate sul tracking nelle Informazioni sulla privacy e nelle Impostazioni sulla privacy.

PONS Pur

Senza pubblicità di fornitori terzi

Senza tracking pubblicitario

Abbonati ora

Se hai già un account utente gratuito per PONS.com puoi abbonarti a PONS Pur .

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

Note legaliProtezione dei datiImpostazioni sulla privacy
predicate logic
Prädikatenlogik
Voce OpenDict
predicate logic SOST
predicate logic MAT
Prädikatenlogik f
I. predi·cate SOST [ˈpredɪkət, ingl am -kɪt]
predicate LING, INFORM
Prädikat nt <-(e)s, -e> term tecn
predicate LING also
Satzaussage f term tecn
II. predi·cate VB vb 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, ingl am ˈlɑ:ʤ-] SOST 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 INFORM:
logic
Logik f <->
5. logic ELETTR:
logic
Logikschaltung f
Present
Ipredicate
youpredicate
he/she/itpredicates
wepredicate
youpredicate
theypredicate
Past
Ipredicated
youpredicated
he/she/itpredicated
wepredicated
youpredicated
theypredicated
Present Perfect
Ihavepredicated
youhavepredicated
he/she/ithaspredicated
wehavepredicated
youhavepredicated
theyhavepredicated
Past Perfect
Ihadpredicated
youhadpredicated
he/she/ithadpredicated
wehadpredicated
youhadpredicated
theyhadpredicated
Vedi altre tabelle di verbi
PONS OpenDict

Vuoi aggiungere una parola, una frase o una traduzione?

Inviaci un nuovo contributo per il PONS OpenDict. I suggerimenti inviati vengono esaminati dalla redazione di PONS e inseriti di conseguenza nei risultati.

Aggiungi voce
No example sentences available

No example sentences available

Try a different entry

Esempi monolingue (non verificati dalla Redazione di 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

Cerca nel dizionario

Cerca "predicate logic" in altre lingue

inglese
arabo