predicate calculus in the Oxford-Hachette French Dictionary

Translations for predicate calculus in the English»French Dictionary

predicate calculus N U MATH

predicate calculus

calcul m des prédicats

Translations for predicate calculus in the English»French Dictionary

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

calculus MATH, MED

calcul m

I.predicate N [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 VB 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)

Phrases:

to be predicated on (have as condition)

impliquer

predicate calculus in the PONS Dictionary

Translations for predicate calculus in the English»French Dictionary

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

calculus

calcul m

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

predicate

prédicat m

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

1. predicate (assert):

to predicate that ...

partir du principe que ...

2. predicate form (base):

to be predicated on sth

être fondé sur qc

Monolingual examples (not verified by PONS Editors)

English

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

en.wikipedia.org