8 lines
307 B
Markdown
8 lines
307 B
Markdown
#maths/logique
|
|
|
|
---
|
|
|
|
Dans l'[[logique approche sémantique]], une [[théorie logique]] est _consistante_ (ou encore [[satisfaisable]]) ssi elle possède au moins un [[modèle]]. Dans le cas contraire, la théorie est dire inconsistante.
|
|
Une théorie inconsistante est considérée comme de peu d'intérêt
|
|
|