- n-argument predicate
- мат. n-местный предикат
Большой англо-русский и русско-английский словарь. 2001.
n-argument predicate
Смотреть что такое "n-argument predicate" в других словарях:
Predicate — Pred i*cate, v. t. [imp. & p. p. {Predicated}; p. pr. & vb. n. {Predicating}.] [L. praedicatus, p. p. of praedicare to cry in public, to proclaim. See {Preach}.] 1. To assert to belong to something; to affirm (one thing of another); as, to… … The Collaborative International Dictionary of English
predicate — ► NOUN 1) Grammar the part of a sentence or clause containing a verb and stating something about the subject (e.g. went home in John went home). 2) Logic something which is affirmed or denied concerning an argument of a proposition. ► VERB 1)… … English terms 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
Argument (disambiguation) — In general parlance, an argument is a discussion involving conflicting points of view. General types of argument * Argument, a demonstration of a proof, or using logical reasoning for persuasion * Argument form, the logical structure of an… … Wikipedia
Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… … Wikipedia
Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate … Wikipedia
predicate — noun prɛdɪkət 1》 Grammar the part of a sentence or clause containing a verb and stating something about the subject (e.g. went home in John went home). 2》 Logic something which is affirmed or denied concerning an argument of a proposition. verb… … English new terms dictionary
argument — noun Etymology: Middle English, from Anglo French, from Latin argumentum, from arguere Date: 14th century 1. obsolete an outward sign ; indication 2. a. a reason given in proof or rebuttal b … New Collegiate Dictionary
predicate — To use as a basis or ground of an action, defense, or argument … Ballentine's law dictionary
Ontological argument — The ontological argument for the existence of God (or simply ontological argument) is an a priori proof for the existence of God. The ontological argument was first proposed by the eleventh century monk Anselm of Canterbury, who defined God as… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
