Basi 2 - L16 Apr

Valutazione delle formule

Una interpretazione I è costituita da:

• Una pre-interpretazione prel (che a sua volta definisce un dominio $D$ e una funzione su $D$ per ogni simbolo di funzione)
• Una funzione che associa ad ogni simbolo di predicato $p/n$ di arità n una relazione $I(p)$ su $D^n$:

$$I(P)\subseteq \underset{n\text{ volte}}{\underbrace{D\times \cdots \times D}}$$

oss: Tale corrispondenza deve assegnare al simbolo di predicato “=” la relazione $\{(d,d)\mid d\in D\}\subseteq D\times D$