Prova mathematic: Differentia inter versiones
Saltar al navigation
Saltar al recerca
imported>Quenke Nulle summario de modification |
(Nulle differentia)
|
Version actual del 12:57, 1 julio 2022

Un prova mathematicPatrono:LinfoX es un deduction del veritate o del falsitate de un proposition logic per medio de axiomas supponite como ver e de altere propositiones jam provate. Iste deduction debe esser recognoscite como sin errores. Provas extense sovente es repartite in plure provas partial e lemmas. Un proposition jam provate es un theorema.
Species de provas es
- le prova directe
- le prova indirecte
- le prova deductive
- le prova inductive
- le prova per induction mathematic