Enunciati su $L_U$

Ma cosa è un L-enunciato?

Interpretazione degli enunciati. Definizione induttiva

Sia L un linguaggio e sia S = (U, I) una L-struttura.

• Allora, l'interpretazione I(A) di ogni enunciato su L_U, è data induttivamente:

  Definizione induttiva di I(A)

In particolare siamo interessati solo agli enunciati A∈E(L)

• Li possiamo scrivere per ogni L-struttura
• Gli enunciati in E($L_U$) sono solo strumentali a dare la semantica di quelli in E(L)

In ogni fissata L-struttura S, ogni L-enunciato ha un preciso valore di verità: vero o falso.