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æl·kjə·ləs] SAM.

calculus

calcul m. spol

I.predicate [ˈpred·ɪ·kɪt, vb: ˈpred·ɪ·keɪt ] SAM.

predicate

prédicat m. spol

II.predicate [ˈpred·ɪ·kɪt, vb: ˈpred·ɪ·keɪt] GLAG. preh. glag.

1. predicate ur. jez. (base):

to be predicated on sth

être fondé sur qc

2. predicate (assert):

to predicate that ...

partir du principe que ...

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