Siirry sisältöön

Filosofia:vastaoletus

Tieteen termipankista

vastaoletus | antiteesi (logiikka)

vastaoletus
antiteesi (logiikka)
Määritelmä (fi)

epäsuorassa todistuksessa tehtävä ylimääräinen oletus, joka on todistettavan johtopäätöksen negaatio

Selite (fi)

Epäsuorassa todistuksessa johtopäätös todistetaan tekemällä johtopäätökselle vastaoletus (sen negaatio) ja osoittamalla että jos vastaoletus pätisi, päädyttäisiin aina ristiriitaan.

Lähikäsitteet

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 26.2.2026: Filosofia:vastaoletus. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:vastaoletus.)