: Mathématiques: démonstration formelle

logique mathématique > démonstration formelle

démonstration formelle

Une démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une. Le concept de déduction naturelle est une généralisation de la notion de démonstration.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/D%C3%A9monstration_formelle)

http://data.loterre.fr/ark:/67375/PSR-H3RTG9KW-M

RDF/XML TURTLE JSON-LD

Loterre