predicate calculus in the Oxford-Paravia Italian Dictionary

Translations for predicate calculus in the English»Italian Dictionary

predicate calculus N U MATH

predicate calculus

calcolo m delle proposizioni

Translations for predicate calculus in the Italian»English Dictionary

calcolo delle proposizioni

predicate calculus

calcolo delle proposizioni

predicate calculus

Translations for predicate calculus in the English»Italian Dictionary

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

1. calculus <pl calculuses> MATH:

calculus

calcolo m

calculus

analisi f

2. calculus <pl calculi> MED:

calculus

calcolo m

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

predicate LING, PHILOS

predicato m

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

predicate LING, PHILOS

predicativo

III.predicate VB trans [Brit ˈprɛdɪkeɪt, Am ˈprɛdəˌkeɪt]

1. predicate (assert):

predicate theory

sostenere

to predicate sth to be

asserire che qc è

to predicate that …

asserire che …

2. predicate PHILOS (affirm):

predicate

predicare (of di)

3. predicate (base):

predicate

fondare (on su)

Phrases:

to be predicated on (have as condition)

implicare che

predicate calculus in the PONS Dictionary

Translations for predicate calculus in the English»Italian Dictionary

calculus [ˈkæl·kjə·ləs] N

calculus

calcolo m

predicate¹ [ˈpre·dɪ·kɪt] N LING

predicate

predicato m

predicate² [ˈpre·dɪ·keɪt] VB trans form

1. predicate (be based on):

to be predicated on sth

fondarsi su qc

2. predicate (state, assert):

predicate

asserire

Monolingual examples (not verified by PONS Editors)

English

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

en.wikipedia.org