Model (First-Order Logic)

first-order-logic

Definition

Model (First-Order Logic)

A model is a semantic object that makes something true. What counts as a model depends on what is being satisfied:

What	Model is	When
Sentence	a structure
Formula	an interpretation
Theory	a structure	for all