Dictionnaire breton des sciences et des techniques

logique ◊ raisonnement qui s'utilise quand on veut démontrer une propriété P dépendant d'un paramètre x appartenant à un ensemble E, et que la justification dépend de la valeur de x

• ar rezonerezh dre gazioù a zo ur skouer rezonerezh ameeun
  le raisonnement par disjonction des cas est un exemple de raisonnement indirect