Structure (FOL)
From Maths
Contents
Definition
Given a first order language, [ilmath]\mathscr{L} [/ilmath] a structure, denoted by [ilmath]\mathbf{M} [/ilmath] is a tuple,[1] [ilmath]\mathbf{M}:=(M,I)[/ilmath] where:
- [ilmath]M[/ilmath] is a domain and
- [ilmath]I:\mathscr{L}\rightarrow M[/ilmath] is a map, called an interpretation
TODO: Put recall boxes into this page, so it's more than just 3 lines long!
