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 20.4.2024: Filosofia:vastaoletus. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:vastaoletus.)