predicate calculus w słowniku Oxford-Hachette French Dictionary

Tłumaczenia dla hasła predicate calculus w angielski»francuski słowniku

predicate calculus RZ. U MAT.

predicate calculus

calcul r.m. des prédicats

Tłumaczenia dla hasła predicate calculus w angielski»francuski słowniku

calculus [Brit ˈkalkjʊləs, Am ˈkælkjələs] RZ.

calculus MAT., MED.

calcul r.m.

I.predicate RZ. [Brit ˈprɛdɪkət, Am ˈprɛdəkət]

predicate JĘZ., FIL.

prédicat r.m.

II.predicate PRZYM. [Brit ˈprɛdɪkət, Am ˈprɛdəkət]

predicate JĘZ., FIL.

prédicatif/-ive

III.predicate CZ. cz. przech. [Brit ˈprɛdɪkeɪt, 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 FIL. (affirm):

predicate

affirmer (of de)

3. predicate (base):

predicate

fonder (on sur)

zwroty:

to be predicated on (have as condition)

impliquer

predicate calculus w słowniku PONS

Tłumaczenia dla hasła predicate calculus w angielski»francuski słowniku

calculus [ˈkælkjʊləs, Am -kjə-] RZ. no l.mn.

calculus

calcul r.m.

predicate¹ [ˈpredɪkət, Am ˈpredɪkɪt] RZ.

predicate

prédicat r.m.

predicate² [ˈpredɪkeɪt] CZ. cz. przech.

1. predicate (assert):

to predicate that ...

partir du principe que ...

2. predicate form. (base):

to be predicated on sth

être fondé sur qc

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

angielski

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

en.wikipedia.org