Assignment (FOL)
From Maths
Revision as of 07:14, 10 September 2016 by Alec (Talk | contribs) (→See next: Model (FOL) wasn't linked correctly)
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Page created quickly so I can reference this stuff without sifting through notes or searching PDFs
Contents
Definition
An assignment, [ilmath]\sigma[/ilmath] is a map whose domain is the variable set, [ilmath]V[/ilmath], and the co-domain is the set of a domain[1].
- If [ilmath]\mathscr{L} [/ilmath] is a first order language, [ilmath]V[/ilmath] the set of variable symbols of [ilmath]\mathscr{L} [/ilmath], and [ilmath]\mathbb{M}:=(M,\mathcal{F},\mathcal{R})[/ilmath] is a domain, then an assignment is a mapping:
- [ilmath]\sigma:V\rightarrow M[/ilmath] is an assignment, is associates with each variable symbol a in the domain.
The set of all assignments is denoted:
- [ilmath][V\rightarrow M][/ilmath][1]
See next
See also
- Substitution assignment, written [ilmath]\sigma[x_i:=a][/ilmath][1] that is the same as [ilmath]\sigma[/ilmath] except it maps the variable [ilmath]x_i[/ilmath] to the value [ilmath]a[/ilmath].
