Matematiikka:oletus
Ulkoasu
Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.
| oletus (luo nimityssivu) |
Määritelmä
asia, jonka ajatellaan olevan kiistattomasti tosi jotakin tiettyä todistusta tehtäessä
Selite
Todistuksen alussa päätetään usein tietyt asiat, jotka ovat kiistattomasti tosia niin kauan kuin todistusta käsitellään. Näitä asioita kutsutaan oletuksiksi.Tämä tarkoittaa, että tiedetään, millaisissa tilanteissa todistus pätee. Esimerkiksi kokonaisluvun neliö on parillinen, kun oletuksena on, että luku itse on parillinen. Epäsuoran todistuksen tekemiseksi oletetaan jotakin, jonka arvellaan olevan epätosi ja yritetään osoittaa, että siitä seuraa looginen ristiriita. Tällaista epäsuoraan todistukseen liittyvää oletusta kutsutaan vastaoletukseksi.
Erikieliset vastineet
| assumption | englanti (English) |
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 6.12.2025: Matematiikka:oletus. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:oletus.)