Teoria dei modelli: differenze tra le versioni

(→‎Linguaggio: imprecisioni)
 
Se una tale <math>T</math> è finita, <math>K</math> si dice elementare. Una classe elementare può essere individuata da una singola formula:
:<math>\phi_T = \bigvee_bigwedge_{\psi \in T} \psi</math>.
Viceversa, una classe descrivibile con una sola formula è evidentemente elementare.
 
4 269

contributi