n-argument predicate

n-argument predicate
мат. n-местный предикат

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»