- démonstration prouiñ / prouidigezh av. , gw. -ioù
-
logique ◊ raisonnement déductif destiné à établir la vérité d'une proposition à partir de prémisses considérées comme vraiesanglais : proof / demonstration
- démonstration directe prouidigezh war-eeun gw.
-
logique ◊ elle consiste à démontrer la proposition énoncée en partant directement des hypothèses données et en arrivant à la conclusion par une suite d'implications logiquesanglais : direct proof / direct demonstration
- démonstration par contradiction prouidigezh dre dislavar gw.
-
logique ◊ ou démonstration par l'absurde - elle consiste à supposer le contraire de la proposition énoncée et de montrer qu'on aboutit alors à une contradiction (impossibilité)anglais : proof by contradiction / proof ab absurdo
- démonstration par contraposition prouidigezh dre gontrapoziñ gw.
-
logique ◊ démonstration par la contraposée : la contraposée de 'P implique Q' est 'non Q implique non P'anglais : proof by contraposition
- démonstration par équivalence prouidigezh dre ekwivalañs gw.
-
logique ◊ raisonnement par équivalencesanglais : proof by equivalence
- démonstration par induction prouidigezh dre induktiñ gw.
-
logique ◊ ou démonstration par récurrenceanglais : proof by induction
- démonstration par l'absurde prouidigezh ab absurdo gw.
-
logique ◊ ou démonstration par contradiction - elle consiste à supposer le contraire de la proposition énoncée et de montrer qu'on aboutit alors à une contradiction (impossibilité)anglais : proof ab absurdo / proof by contradiction
- démonstration par récurrence prouidigezh dre rekurañs gw.
-
logique ◊ ou démonstration par inductionanglais : proof by recurrence