Difference between revisions of "Assignment (FOL)"
From Maths
(Created page with "{{Stub page|grade=A|msg=Page created quickly so I can reference this stuff without sifting through notes or searching PDFs}} __TOC__ ==Definition== An ''assignment'', {{M|\sig...") |
m (→See next: Model (FOL) wasn't linked correctly) |
||
| Line 8: | Line 8: | ||
* {{M|[V\rightarrow M]}}<ref name="MLFFISWL"/> | * {{M|[V\rightarrow M]}}<ref name="MLFFISWL"/> | ||
==See next== | ==See next== | ||
| − | * | + | * {{link|Model|FOL}} |
| + | |||
==See also== | ==See also== | ||
* {{link|Substitution assignment|FOL}}, written {{M|1=\sigma[x_i:=a]}}<ref name="MLFFISWL"/> that is the same as {{M|\sigma}} except it maps the variable {{M|x_i}} to the value {{M|a}}. | * {{link|Substitution assignment|FOL}}, written {{M|1=\sigma[x_i:=a]}}<ref name="MLFFISWL"/> that is the same as {{M|\sigma}} except it maps the variable {{M|x_i}} to the value {{M|a}}. | ||
Latest revision as of 07:14, 10 September 2016
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
[hide]Definition
An assignment, σ is a map whose domain is the variable set, V, and the co-domain is the set of a domain[1].
- If L is a first order language, V the set of variable symbols of L, and M:=(M,F,R) is a domain, then an assignment is a mapping:
- σ:V→M is an assignment, is associates with each variable symbol a in the domain.
The set of all assignments is denoted:
- [V→M][1]
See next
See also
- Substitution assignment, written σ[xi:=a][1] that is the same as σ except it maps the variable xi to the value a.
