Definition
Structure (First-Order Logic)
A structure is a pair
where:
is a non-empty set, called the domain. is an interpretation function that maps: Notation:
may be used instead of .
Structure (First-Order Logic)
A structure is a pair
where:
is a non-empty set, called the domain. is an interpretation function that maps: Notation:
may be used instead of .