catflap.org Online Dictionary Query |
9 definitions found
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
predicate calculus
predicate logic
From WordNet (r) 2.0 : [ wn ]
predicate calculus
n : a system of symbolic logic that represents individuals and
predicates and quantification over individuals (as well
as the relations between propositions) [syn: functional
calculus]
From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]
predicate calculus
n.
(lb en logic) The branch of logic that deals with quantified
statements such as "there exists an x such that..." or
"for any x, it is the case that...", where x is a member of
the domain of discourse.
From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]
predicate calculus
n.
(lb en logic) The branch of logic that deals with quantified
statements such as "there exists an x such that..." or
"for any x, it is the case that...", where x is a member of
the domain of discourse.
From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]
predicate calculus
n.
(lb en logic) The branch of logic that deals with quantified
statements such as "there exists an x such that..." or
"for any x, it is the case that...", where x is a member of
the domain of discourse.
From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]
predicate calculus
n.
(lb en logic) The branch of logic that deals with quantified
statements such as "there exists an x such that..." or
"for any x, it is the case that...", where x is a member of
the domain of discourse.
From English - German Ding/FreeDict dictionary ver. 1.9-fd1 : [ freedict:eng-deu ]
predicate calculus /pɹˈɛdɪkˌeɪt kˈalkjʊləs/
Prädikatrechnung
see: method of calculation, calculation method, calculus, methods of calculation, calculation methods, calculuses, differential calculus, infinitesimal calculus, the calculus, integral calculus, matrix calculus, matrix method, matrix algebra, theorem calculus, variational calculus, variantions calculus, calculation of interest, interest calculation
From English-suomi FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-fin ]
predicate calculus /pɹˈɛdɪkˌeɪt kˈalkjʊləs/
predikaattilogiikka
a branch of logic
From English-Svenska FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-swe ]
predicate calculus /pɹˈɛdɪkˌeɪt kˈalkjʊləs/
predikatlogik
a branch of logic
Questions or comments about this site? Contact dictionary@catflap.org
Access Stats