predicate calculus no Dicionário de Francês-Inglês da Oxford-Hachette

Traduções para predicate calculus no dicionário inglês»francês

predicate calculus SUBST U MAT

predicate calculus

calcul m des prédicats

Traduções para predicate calculus no dicionário inglês»francês

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

calculus MAT, MED

calcul m

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

predicate LINGUÍS, FILOSOF

prédicat m

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

predicate LINGUÍS, FILOSOF

prédicatif/-ive

III.predicate VERBO trans [Brit ˈprɛdɪkeɪt, americ ˈ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 FILOSOF (affirm):

predicate

affirmer (of de)

3. predicate (base):

predicate

fonder (on sur)

Expressões:

to be predicated on (have as condition)

impliquer

predicate calculus no Dicionário PONS

Traduções para predicate calculus no dicionário inglês»francês

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

calculus

calcul m

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

predicate

prédicat m

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

1. predicate (assert):

to predicate that ...

partir du principe que ...

2. predicate formal (base):

to be predicated on sth

être fondé sur qc

Exemplos unilingues (não verificados pela redação)

inglês

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

en.wikipedia.org