Filosofia:vastaoletus

From Tieteen termipankki

antiteesi (logiikka) | vastaoletus

antiteesi (logiikka)
vastaoletus
Definition epäsuorassa todistuksessa tehtävä ylimääräinen oletus, joka on todistettavan johtopäätöksen negaatio
Explanation 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.

Related Concepts

Sources

Rantala&Virtanen2003

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →