predicate calculus

predicate calculus

Also called predicate logic.


Origin:
1945–50
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2012.
Cite This Source Link To predicate calculus

00:10

00:09

00:08

00:07

00:06

00:05

00:04

00:03

00:02

00:01

Predicate calculus is always a great word to know.
So is ninnyhammer. Does it mean:
a printed punctuation mark (‽), available only in some typefaces, designed to combine the question mark (?) and the exclamation point (!), indicating a mixture of query and interjection, as after a rhetorical question.
a fool or simpleton; ninny.
Collins
World English Dictionary
predicate calculus
 
n
See also propositional calculus Also called: functional calculus the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
FOLDOC
Computing Dictionary

predicate calculus definition


predicate logic

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Dictionary.com, LLC. Copyright © 2012. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT