| slovo | definícia |
predicate calculus
(encz) | predicate calculus, n: |
predicate calculus
(wn) | predicate calculus
n 1: a system of symbolic logic that represents individuals and
predicates and quantification over individuals (as well as
the relations between propositions) [syn: {predicate
calculus}, functional calculus] |
predicate calculus
(foldoc) | predicate logic
predicate calculus
(Or "predicate calculus") An extension of
propositional logic with separate symbols for predicates,
subjects, and quantifiers.
For example, where propositional logic might assign a single
symbol P to the proposition "All men are mortal", predicate
logic can define the predicate M(x) which asserts that the
subject, x, is mortal and bind x with the {universal
quantifier} ("For all"):
All x . M(x)
Higher-order predicate logic allows predicates to be the
subjects of other predicates.
(2002-05-21)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4