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