- predicate of predicates
- мат. предикат предикатов
Большой англо-русский и русско-английский словарь. 2001.
predicate of predicates
Смотреть что такое "predicate of predicates" в других словарях:
predicate — I UK [ˈpredɪkət] / US noun [countable] Word forms predicate : singular predicate plural predicates linguistics the part of the sentence that contains the verb and its object or complements and gives more information about the subject, for example … English dictionary
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
predicate — predicates, predicating, predicated (The noun is pronounced [[t]pre̱dɪkət[/t]]. The verb is pronounced [[t]pre̱dɪkeɪt[/t]].) 1) N COUNT In some systems of grammar, the predicate of a clause is the part of it that is not the subject. For example,… … English dictionary
predicates — predicate … Philosophy dictionary
Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… … Wikipedia
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
predicate — A predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expresses a condition that the entities referred to may satisfy, in which case the resulting sentence will be true. For… … Philosophy dictionary
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… … Wikipedia
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
predicate — I. noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. a. something that is affirmed or denied of the subject in a proposition in logic b. a term designating a property or relation 2. the… … New Collegiate Dictionary
