predicate calculus en el diccionario francés Oxford-Hachette

Traducciones de predicate calculus en el diccionario inglés»francés

predicate calculus SUST. U MAT.

predicate calculus

calcul m des prédicats

Traducciones de predicate calculus en el diccionario inglés»francés

calculus [ingl. brit. ˈkalkjʊləs, ingl. am. ˈkælkjələs] SUST.

calculus MAT., MED.

calcul m

I.predicate SUST. [ingl. brit. ˈprɛdɪkət, ingl. am. ˈprɛdəkət]

predicate LING., FILOS.

prédicat m

II.predicate ADJ. [ingl. brit. ˈprɛdɪkət, ingl. am. ˈprɛdəkət]

predicate LING., FILOS.

prédicatif/-ive

III.predicate V. trans. [ingl. brit. ˈprɛdɪkeɪt, ingl. 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 FILOS. (affirm):

predicate

affirmer (of de)

3. predicate (base):

predicate

fonder (on sur)

locuciones, giros idiomáticos:

to be predicated on (have as condition)

impliquer

predicate calculus en el diccionario PONS

Traducciones de predicate calculus en el diccionario inglés»francés

calculus [ˈkælkjʊləs, ingl. am. -kjə-] SUST. no pl.

calculus

calcul m

predicate¹ [ˈpredɪkət, ingl. am. ˈpredɪkɪt] SUST.

predicate

prédicat m

predicate² [ˈpredɪkeɪt] V. trans.

1. predicate (assert):

to predicate that ...

partir du principe que ...

2. predicate form. (base):

to be predicated on sth

être fondé sur qc

Ejemplos monolingües (no verificados por la redacción de PONS)

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