Login
Ideas
Quotes
Lessons
Words
Username
Password
Login
Cancel
Forgot
password?
Search:
Dictionary
All Posts
Search
Search
Store Your Knowledge at the Brain Bank!
Login
/
Register - It's free!
Username
Password
Login
Cancel
Forgot
password?
predicate calculus
Definition
Cancel
Bank This Word!
My Lists
Login to Create a List
Register for Free!
Keep Public?
predicate calculus
noun
(pred-i-cate cal-cu-lus)
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Synonyms:
functional calculus,
Words Related to
predicate calculus
!
functional calculus
,
existential quantifier
,
universal quantifier
,
symbolic logic
,
propositional logic
,
universe of discourse
,
logical system
,
propositional calculus
,
syncategorematic
,
categorematic
,
mathematical logic
,
modal logic
,
formal language
,
formal logic
,
deontic logic
,
tagmemics
,
logical relation
,
tagmeme
,
logic gate
,
philosopheme
,
mathematical statement
,
partial derivative
,
cartesian product
,
logic
,
quantifier
,
conditional probability
,
binomial theorem
,
nonlogical
,
natural number
,
independent variable
,
major premise
,
sememe
,
joint probability
,
rhematic
,
noun phrase
,
integral calculus
,
binary operation
,
prosyllogism
,
predicate
,
hilbert space
,
overlogical
,
explicandum
,
logarithmic function
,
verb phrase
,
anacoluthia
,
semasiological
,
superposition principle
,
dependent variable
,
porism
,
exponential function
,
nominalize
,
rational number
,
constatation
,
exponential equation
,
suprarational
,
propositional
,
adposition
,
mathematical process
,
random variable
,
consectary
,
syllogize
,
harmonic analysis
,
monte carlo method
,
autological
,
main clause
,
matrix operation
,
algebraic number
,
topological space
,
ontological argument
,
porime
,
mathematical relation
,
minor premise
,
sematology
,
absolute space
,
mathematical
,
nomial
,
unary operation
,
metric space
,
affine transformation
,
scientific method
,
relative clause
,
hysteron proteron
,
semantics
,
function word
,
central limit theorem
,
decidable
,
grammatical relation
,
paralogism
,
recursive definition
,
grammatication
,
independent clause
,
disambiguator
,
derivement
,
infinitesimal calculus
,
inclusive or
,
equipollence
,
anacoluthon
,
logic diagram
,
chemical equation
,
inference
,
predicate calculus
Examples by Brain Bank Users