predicate calculus v slovarju Oxford-Hachette French Dictionary

Prevodi za predicate calculus v slovarju angleščina»francoščina

predicate calculus SAM. U MAT.

predicate calculus

calcul m. spol des prédicats

Prevodi za predicate calculus v slovarju angleščina»francoščina

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

calculus MAT., MED.

calcul m. spol

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

predicate LINGV., FILOZ.

prédicat m. spol

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

predicate LINGV., FILOZ.

prédicatif/-ive

III.predicate GLAG. preh. glag. [brit. angl. ˈprɛdɪkeɪt, am. angl. ˈ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 FILOZ. (affirm):

predicate

affirmer (of de)

3. predicate (base):

predicate

fonder (on sur)

fraza:

to be predicated on (have as condition)

impliquer

predicate calculus v slovarju PONS

Prevodi za predicate calculus v slovarju angleščina»francoščina

calculus [ˈkælkjʊləs, am. angl. -kjə-] SAM. no mn.

calculus

calcul m. spol

predicate¹ [ˈpredɪkət, am. angl. ˈpredɪkɪt] SAM.

predicate

prédicat m. spol

predicate² [ˈpredɪkeɪt] GLAG. preh. glag.

1. predicate (assert):

to predicate that ...

partir du principe que ...

2. predicate ur. jez. (base):

to be predicated on sth

être fondé sur qc

Enojezični primeri (nepregledani od uredništva PONS)

angleščina

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

en.wikipedia.org