Filosofia:vastaoletus
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
- reductio ad absurdum -argumentti (kokonaisuuskäsite)
Sources
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 →