<p><span class="tc-title">compattezza, teorema di </span>
</p><p><br/>
<b>compattezza, teorema di →</b> compattezza logica.
</p>
<table class="sinottico" style="" summary="Tabella sinottica che riassume i principali dati del soggetto"></table>

Silvio Bozzi

Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, cioè T⊩A, se e solo se esiste una parte T′di T per cui T′⊩A. Equivalentemente, una teoria T ha un modello se ne ha uno ogni ...

teorema di compattezza

compattezza, teorema di

 compattezza 
  
compattézza s. f. [der. di compatto]. – 1. L’esser compatto, coesione: c. del legno, di un terreno, di un tessuto; fig.: la c. dei reparti combattenti, di un partito politico; c. di un racconto, di una trama narrativa. 2. In ...

compattézza

 teorema 
  
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo ...

Compattezza, teorema di