ris­ti­rii­ta­to­dis­tus

Jaa

sisältää sanat: risti + riita + todistus

Merkitys

  1. (Matematiikka)todistustyyppi, jossa aluksi oletetaan, että todistettava väite on epätosi, ja johdetaan tästä oletuksesta looginen ristiriita