Teoria dei modelli: differenze tra le versioni

m
correzione definizione di grafo
m (inserimento di {{Thesaurus BNCF}}, discussione)
m (correzione definizione di grafo)
Ad esempio, la teoria dei [[gruppo (matematica)|gruppi]] si esprime in un linguaggio contenente un simbolo di funzione binaria (solitamente ''+'' o ''*'') ed eventualmente (ma non è necessario, dato che può essere introdotto tramite gli assiomi della teoria) un simbolo di costante (solitamente ''e'' o semplicemente 1, il cui ovvio significato è quello di unità).
 
Il linguaggio della teoria dei [[grafo|grafi]] [[grafo#Grafi orientati e grafi semplici|non orientati]] comprende sempre un solo simbolo (solitamente rappresentato come '''(<math>E'''</math>), che però in questo caso è di ''relazione'' binaria (<math>E(x,y)</math> significherà "c'è un arco trada ''<math>x''</math> ea ''<math>y''</math>"). Tra l'altro, laLa teoria dei grafi non orientati non prevede alcun assioma ed è caratterizzata semplicemente dal suo linguaggio, per cui qualsiasi teoria avente nel suo linguaggio almeno un simbolo di relazione binaria si può considerare un caso particolare della teoria dei grafi orientati. La teoria dei [[grafo|grafi]] [[grafo#Grafi orientati e grafi semplici|non orientati]] richiede che <math>E</math> sia una relazione irriflessiva e simmetrica.
 
== Modelli e soddisfacibilità ==
15

contributi