predicate calculus в словаре Oxford-Hachette French Dictionary

Переводы predicate calculus в словаре английский»французский

predicate calculus СУЩ. U МАТЕМ.

predicate calculus

calcul м. des prédicats

Переводы predicate calculus в словаре английский»французский

calculus [брит. ˈkalkjʊləs, америк. ˈkælkjələs] СУЩ.

calculus МАТЕМ., МЕД.

calcul м.

I.predicate СУЩ. [брит. ˈprɛdɪkət, америк. ˈprɛdəkət]

predicate ЛИНГВ., ФИЛОС.

prédicat м.

II.predicate ПРИЛ. [брит. ˈprɛdɪkət, америк. ˈprɛdəkət]

predicate ЛИНГВ., ФИЛОС.

prédicatif/-ive

III.predicate ГЛ. перех. [брит. ˈprɛdɪkeɪt, америк. ˈ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 ФИЛОС. (affirm):

predicate

affirmer (of de)

3. predicate (base):

predicate

fonder (on sur)

Выражения:

to be predicated on (have as condition)

impliquer

predicate calculus в словаре PONS

Переводы predicate calculus в словаре английский»французский

calculus [ˈkælkjʊləs, америк. -kjə-] СУЩ. no мн.

calculus

calcul м.

predicate¹ [ˈpredɪkət, америк. ˈpredɪkɪt] СУЩ.

predicate

prédicat м.

predicate² [ˈpredɪkeɪt] ГЛ. перех.

1. predicate (assert):

to predicate that ...

partir du principe que ...

2. predicate офиц. (base):

to be predicated on sth

être fondé sur qc

Одноязычные примеры (не проверены редакцией PONS)

английский

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

en.wikipedia.org