predicate calculus - WordReference.com Dictionary of English

Forum API

- See Also:
- - predestinate
  - predestination
  - predestine
  - predetermine
  - predeterminer
  - predial
  - predicable
  - predicament
  - predicant
  - predicate
  - predicate calculus
  - predicative
  - predict
  - predictable
  - prediction
  - predigest
  - predikant
  - predilection
  - predispose
  - prednisolone
  - prednisone
- Settings:
- - Click on word:
    gets translation
    does nothing
- - Recent searches:
    - Save history
    - View All
- Links:
- WR Random Word:
- Try out WordReference Random Word! Each page load will return a random word from the dictionary. Or test your knowledge and have each page load with the definition hidden!

predicate calculus

in Spanish | in French | in Italian | English synonyms | in context | images

Concise Oxford English Dictionary © 2008 Oxford University Press:
predicate calculus

▶noun the branch of symbolic logic concerned with propositions containing predicates, names, and quantifiers.

'predicate calculus' also found in these Oxford entries:

Forum discussions with the word(s) "predicate calculus" in the title:

No titles with the word(s) "predicate calculus".

Ask in the forums yourself.Visit the English Only Forum.

Look up "predicate calculus" at Merriam-Webster
Look up "predicate calculus" at dictionary.com

In other languages: Spanish | French | Italian | Portuguese | German | Russian | Polish | Romanian | Czech | Greek | Turkish | Chinese | Japanese | Korean | Arabic

Download free Android and iPhone apps

Android App

iPhone App

Report an inappropriate ad.