Modello (logica matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
sposto in modello fisico |
||
Riga 1:
In [[logica matematica]] un '''modello''' per un linguaggio o una teoria formale è intuitivamente un attribuzione di un significato a tutti gli enunciati (le [[formule ben formate|formule]]) del linguaggio.
| |||