Library / English Dictionary

    PREDICATE CALCULUS

     I. (noun) 

    Sense 1

    Meaning:

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

    Synonyms:

    functional calculus; predicate calculus

    Classified under:

    Nouns denoting cognitive processes and contents

    Hypernyms ("predicate calculus" is a kind of...):

    formal logic; mathematical logic; symbolic logic (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)

    Meronyms (parts of "predicate calculus"):

    quantification (a limitation imposed on the variables of a proposition (as by the quantifiers 'some' or 'all' or 'no'))

    Credits


    © 1991-2023 The Titi Tudorancea Bulletin | Titi Tudorancea® is a Registered Trademark | Terms of use and privacy policy
    Contact