predicate calculus im Oxford-Hachette French Dictionary

Übersetzungen für predicate calculus im Englisch»Französisch-Wörterbuch

predicate calculus SUBST U MATH

predicate calculus

calcul m des prédicats

Übersetzungen für predicate calculus im Englisch»Französisch-Wörterbuch

calculus [Brit ˈkalkjʊləs, Am ˈkælkjələs] SUBST

calculus MATH, MED

calcul m

I.predicate SUBST [Brit ˈprɛdɪkət, Am ˈprɛdəkət]

predicate LING, PHILOS

prédicat m

II.predicate ADJ [Brit ˈprɛdɪkət, Am ˈprɛdəkət]

predicate LING, PHILOS

prédicatif/-ive

III.predicate VERB trans [Brit ˈprɛdɪkeɪt, Am ˈprɛdəˌkeɪt]

1. predicate (gen) (assert):

predicate theory

avancer

to predicate sth to be

poser que qc est

to predicate that …

poser que …

2. predicate PHILOS (affirm):

predicate

affirmer (of de)

3. predicate (base):

predicate

fonder (on sur)

Wendungen:

to be predicated on (have as condition)

impliquer

predicate calculus im PONS Wörterbuch

Übersetzungen für predicate calculus im Englisch»Französisch-Wörterbuch

calculus [ˈkælkjʊləs, Am -kjə-] SUBST no Pl

calculus

calcul m

predicate¹ [ˈpredɪkət, Am ˈpredɪkɪt] SUBST

predicate

prédicat m

predicate² [ˈpredɪkeɪt] VERB trans

1. predicate (assert):

to predicate that ...

partir du principe que ...

2. predicate form (base):

to be predicated on sth

être fondé sur qc

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

Englisch

As a consequence, they demonstrated that certain classically true formulas are unverifiable in the intuitionistic predicate calculus with strong negation.

en.wikipedia.org