Teorie satisfăcătoare

În logica matematică o teorie de ordinul întâi $\Phi$ ${\ displaystyle \ Phi}$ $\ Phi$ se spune că este satisfăcător dacă există o realizare ( model , interpretare) $\sigma$ ${\ displaystyle \ sigma}$ $\ sigma$ care face toate formulele de $\Phi$ ${\ displaystyle \ Phi}$ $\ Phi$ .

Într-un mod informal, se poate încerca vulgarizarea definiției spunând că o teorie sau un anumit set de formule (folosind în mod necorespunzător termenul „set”) are sens în cel puțin un caz dacă există cel puțin o clasă de „ obiecte "" reale care, înlocuite cu variabilele din formule, le fac pe toate adevărate.

Exemple

De exemplu, aritmetica lui Peano și teoria pe care o produc sunt realizate prin modelul numărului natural ; ultimul model nu este singurul care le satisface. Pe de altă parte, teoria {a, negarea-a-a} nu este satisfăcută de niciun model.

Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică