Filosofia:vastaoletus

Tieteen termipankista

vastaoletus | antiteesi (logiikka)

vastaoletus
antiteesi (logiikka)
Määritelmä epäsuorassa todistuksessa tehtävä ylimääräinen oletus, joka on todistettavan johtopäätöksen negaatio
Selite 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 22.12.2024: Filosofia:vastaoletus. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:vastaoletus.)