Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
È la specificazione di dominio e
codominio della funzione, a seconda
della arietà del suo simbolo:
Se l’arietà n è 1
A A è: A A, cioè semplicemente
n 1
A A.
dunque
la funzione che costituisce il significato
di un certo simbolo f
di arietà 1 ha per dominio un insieme di
individui e come codominio pure un
insieme di individui
Se l’arietà n è 2
A A è
n
A A, cioè
2
A
significa che
l’interpretazione associa ad ogni simbolo di
funzione che abbia arietà n una funzione (cioè
un’operazione) che agisce sugli elementi di A n
vuol dire
P(t ,…t ) è vero nella struttura A
1 n
• (I(t ),…,I(t ))
1 n
se e solo se
la lista dell’interpretazione del termine t , del
1
infine
Definiamo la verità delle formule con
quantificatore:
1) Una formula del tipo xA1 sarà vera nella
struttura se e solo se ogni enunciato che
risulta dalla sostituzione di tutte le occorrenze
della variabile x dentro A1 con un elemento del
dominio della struttura è vero nella struttura:
A╞ xA1 se e solo se A╞ A1(a/x) per ogni a A
Dove
A1(a/x)
significa
l’enunciato che risulta sostituendo ad x in A 1
il nome a dell’ente a
e
a A
significa che
l’ente a appartiene al dominio A della
struttura.
2) Una formula del tipo xA1 sarà vera nella
struttura se e solo se almeno un
enunciato che risulta dalla sostituzione di
tutte le occorrenze della variabile x
dentro A1 con un elemento del dominio
della struttura è vero nella struttura:
A╞ xA1 se e solo se A╞ A1(a/x) per qualche
a A