- prouidigezh ab absurdo gw. démonstration par l'absurde
-
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
- prouidigezh dre dislavar gw. démonstration par contradiction
-
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
- prouidigezh dre ekwivalañs gw. démonstration par équivalence
-
logique ◊ raisonnement par équivalencesanglais : proof by equivalence
- prouidigezh dre gontrapoziñ gw. démonstration par contraposition
-
logique ◊ démonstration par la contraposée : la contraposée de 'P implique Q' est 'non Q implique non P'anglais : proof by contraposition
- prouidigezh dre induktiñ gw. démonstration par induction
-
logique ◊ ou démonstration par récurrenceanglais : proof by induction
- prouidigezh dre rekurañs gw. démonstration par récurrence
-
logique ◊ ou démonstration par inductionanglais : proof by recurrence
- prouidigezh war-eeun gw. démonstration directe
-
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
- prouiñ / prouidigezh av. , gw. -ioù démonstration
-
logique ◊ raisonnement déductif destiné à établir la vérité d'une proposition à partir de prémisses considérées comme vraiesanglais : proof / demonstration