What is the definition of Predicate calculus? | Dictionary.net

PREDICATE CALCULUS

\pɹˈɛdɪkˌe͡ɪt kˈalkjʊləs], \pɹˈɛdɪkˌe‍ɪt kˈalkjʊləs], \p_ɹ_ˈɛ_d_ɪ_k_ˌeɪ_t k_ˈa_l_k_j_ʊ_l_ə_s]\

Definitions of PREDICATE CALCULUS

2006 - WordNet 3.0
2011 - English Dictionary Database

Sort: Oldest first

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

2006 - WordNet 3.0
By Princeton University

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

2011 - English Dictionary Database
By DataStellar Co., Ltd

Word of the day

Triumviri

of Triumvir

View More

Nearby Words