predicate calculus

Английский Язык - Английский Язык

Определение predicate calculus в Английский Язык Английский Язык словарь: 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; The branch of symbolic logic that deals not only with relations between propositions as a whole but also with their internal structure, especially the relation between subject and predicate. Symbols are used to represent the subject and predicate of the proposition, and the existential or universal quantifier is used to denote whether the proposition is universal or particular in its application. Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as "all" and "some. " The predicate calculus usually builds on some form of the propositional calculus and introduces quantifiers, individual variables, and predicate letters. A sentence of the form "All F's are either G's or H's" is symbolically rendered as (x)[Fx (Gx Hx)], and "Some F's are both G's and H's" is symbolically rendered as (x)[Fx (Gx Hx)]. Once conditions of truth and falsity for the basic types of propositions have been determined, the propositions formulable within the calculus are grouped into three mutually exclusive classes: (1) those that are true on every possible specification of the meaning of their predicate signs, such as "Everything is F or is not F"; (2) those false on every such specification, such as "Something is F and not F"; and (3) those true on some specifications and false on others, such as "Something is F and is G." These are called, respectively, the valid, inconsistent, and contingent propositions. Certain valid proposition types may be selected as axioms or as the basis for rules of inference. There exist multiple complete axiomatizations of first-order (or lower) predicate calculus ("first-order" meaning that quantifiers bind individual variables but not variables ranging over predicates of individuals). See also logic; a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

predicate calculus