Difference between revisions of "Structure (FOL)"

Latest revision as of 10:55, 8 September 2016

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!

See next

• Model

References

1. ↑ Mathematical Logic - Foundations for Information Science - Wei Li

Template:Formal logic navbox