valuation function

valuation function
A function which assigns a truth value to every well-formed formula, which is identical to the models interpretation function when applied to atomic propositions, and which otherwise assigns a truth value recursively depending on the formulas top logical connective and the truth values of the subformulae surrounding that logical connective.

Wikipedia foundation.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Valuation based system — (VBS) is a framework for knowledge representation and inference. Real world problems are modeled in this framework by a network of interrelated entities, called variables. The relationships between variables (possibly uncertain or imprecise) are… …   Wikipedia

  • Valuation Office Agency — The Valuation Office Agency is a government body in the United Kingdom. It is an executive agency of Her Majesty s Revenue and Customs. The Agency values properties for the purpose of Council Tax and for non domestic rates in England and Wales… …   Wikipedia

  • Valuation (algebra) — In algebra (in particular in algebraic geometry or algebraic number theory), a valuation is a function on a field that provides a measure of size or multiplicity of elements of the field. They generalize to commutative algebra the notion of size… …   Wikipedia

  • Valuation ring — In abstract algebra, a valuation ring is an integral domain D such that for every element x of its field of fractions F , at least one of x or x 1 belongs to D .Given a field F , if D is a subring of F such that either x or x 1 belongs to D for… …   Wikipedia

  • Valuation (logic) — In logic and model theory, a valuation can be: *In propositional logic, an assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables. *In first order… …   Wikipedia

  • Chepakovich valuation model — The Chepakovich valuation model uses the discounted cash flow valuation approach. It was first developed by Alexander Chepakovich in 2000 and perfected in subsequent years. The model was originally designed for valuation of “growth stocks”… …   Wikipedia

  • Discrete valuation ring — In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non zero maximal ideal. This means a DVR is an integral domain R which satisfies any one of the following equivalent conditions: R is a local… …   Wikipedia

  • Discrete valuation — In mathematics, a discrete valuation is an integer valuation on a field k, that is a function satisfying the conditions . Note that often the trivial valuation which takes on only the values …   Wikipedia

  • Igusa zeta-function — In mathematics, an Igusa zeta function is a type of generating function, counting the number of solutions of an equation, modulo p , p 2, p 3, and so on. Definition For a prime number p let K be a p adic field, i.e. [K: mathbb{Q} p] …   Wikipedia

  • Membership function (mathematics) — The membership function of a fuzzy set is a generalization of the indicator function in classical sets. In fuzzy logic, it represents the degree of truth as an extension of valuation. Degrees of truth are often confused with probabilities,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”