Versione delle 11:47, 4 feb 2006 modifica Pokipsy76 (discussione \| contributi) 3 869 modifiche Nessun oggetto della modifica		Versione delle 20:17, 19 mar 2006 modifica annulla Pokipsy76 (discussione \| contributi) 3 869 modifiche mNessun oggetto della modifica Differenza successiva →
Riga 3: * un insieme di elementi di ''U'' da associare a ciascuna ''costante individuale'' del [[linguaggio del primo ordine\|linguaggio]]; * per ogni ''n'' un insieme di [[funzione (matematica)\|funzioni]] da <math>U^n</math> in sè stesso da associare a ciascun ''simbolo di funzione n-aria'' del linguaggio; * per ogni ''n'' un insieme di [[relazione (matematica)\|relazioni]] ''n''-~~aria~~arie su <math>U</math> da associare a ciascun ''simbolo di relazione n-aria'' del linguaggio; == Voci correlate ==

Modello (logica matematica): differenze tra le versioni