- démonstration prouidigezh gw. -ioù, prouiñ av.
-
logique ◊ raisonnement déductif destiné à établir la vérité d'une proposition à partir de prémisses considérées comme vraiesen 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 logiquesen 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é)en 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'en proof by contraposition
- démonstration par équivalence prouidigezh dre gendalvoud gw.
-
logique ◊ raisonnement par équivalencesen proof by equivalence
- démonstration par induction prouidigezh dre induktiñ gw.
-
logique ◊ ou démonstration par récurrenceen 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é)en proof ab absurdo, proof by contradiction
- démonstration par récurrence prouidigezh dre rekurañs gw.
-
logique ◊ ou démonstration par inductionen proof by recurrence