Difference between revisions of "Structure (FOL)"

From Maths
Jump to: navigation, search
(Created initial version)
 
(No difference)

Latest revision as of 10:55, 8 September 2016

Definition

Given a first order language, L a structure, denoted by M is a tuple,[1] M:=(M,I) where:


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


See next

References

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

Template:Formal logic navbox