309 B
309 B
#s/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