Valuation (logic)

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 logic and higher-order logics, a structure, and the corresponding assignment of a truth value to each sentence in the language for that structure.

Mathematical logic

In mathematical logic (especially model theory), a valuation is an assignment of truth values to formal sentences that follows a truth schema. Valuations are also called truth assignments.

In propositional logic, there are no quantifiers, and formulas are built from propositional variables using logical connectives. In this context, a valuation begins with an assignment of a truth value to each propositional variable. This assignment can be uniquely extended to an assignment of truth values to all propositional formulas.

In first-order logic, a language consists of a collection of constant symbols, a collection of function symbols, and a collection of relation symbols. Formulas are built out of atomic formulas using logical connectives and quantifiers. A structure consists of a set (domain of discourse) that determines the range of the quantifiers, along with interpretations of the constant, function, and relation symbols in the language. Corresponding to each structure is a unique truth assignment for all sentences (formulas with no free variables) in the language.

See also

* Interpretation (logic)

References

*Harvard reference
Surname1 = Rasiowa
Given1 = Helena
Surname2 = Sikorski
Given2 = Roman
title = The Mathematics of Metamathematics
publisher = PWN
year = 1970
place = Warsaw
edition = 3rd, chapter 6 "Algebra of formalized languages".


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Valuation — may refer to: *Valuation (finance), the determination of the economic value of an asset or liability *Valuation (ethics), the determination of the ethic or philosophic value of an object *Valuation (algebra) *Valuation (logic) *Valuation (measure …   Wikipedia

  • Valuation (mathematics) — Valuation in mathematics may refer to: *Valuation (algebra) *Valuation (logic) *Valuation (measure theory) * p adic valuationee also*Valuation …   Wikipedia

  • 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 — (logic) See interpretation ( …   Philosophy dictionary

  • Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… …   Wikipedia

  • Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia

  • Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Common knowledge (logic) — For common knowledge in general, see Common knowledge. Common knowledge is a special kind of knowledge for a group of agents. There is common knowledge of p in a group of agents G when all the agents in G know p, they all know that they know p,… …   Wikipedia

Share the article and excerpts

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