Structure (FOL)

From Maths
Jump to: navigation, search

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:


TODO: Put recall boxes into this page, so it's more than just 3 lines long!


See next

References

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

Template:Formal logic navbox