7 lines
345 B
Markdown
7 lines
345 B
Markdown
#s/maths/logique
|
|
|
|
---
|
|
Une _démonstration formelle_ est l'application successive de plusieurs [[règle d'inférence|règles d'inférence]] à partir d'un ensemble [[axiome|d'axiomes]] ou de [[théorème|théorèmes]] déjà démontrés.
|
|
|
|
Une Démonstration produit systématiquement de nouveaux théorèmes qui sont la [[conséquence formelle]]
|