Demostració matemàtica
De Viquipèdia
Una prova matemàtica és una demostració del fet que donat cert axioma, algun enunciat d'interès és necessariament veritable.
Les proves fan servir la lògica però usualment inclouen una part de llenguatge natural, que obviament admet ambigüetat.
La filosofia de la matemàtica s'ocupa del paper del llenguatge i de la lògica en les proves i de la matemàtica com a llenguatge.
El resultat d'una prova és un teorema
[edita] Algunes tècniques de prova
- Prova per deducció
- Prova per inducció
- Prova per contradicció
- Prova per construcció
- Prova exhaustiva
- Prova probabilística
- Prova combinatorial
